$cat>valia.sml<<EOF函数g（l，a，b，x，y，d0，d1:实，d2:实，d3:实）=(x-实数fromInt（Array.sub（l，a））；y-实数来自Int（Array.sub（l，b））)电动势$sml valia.sml新泽西州标准ML（64位）v110.99[建造日期：2020年12月24日星期四11:47:23][打开valia.sml][自动加载][库$SMLNJ-BASIS/BASIS.cm稳定][库$SMLNJ-BASIS/（BASIS.cm）:BASIS-common.cm稳定][自动加载完成]错误：编译器错误：合同：132上的UsageMap******通过1******v129（v130[PV]）=v129（“伪造”）v101（v131[PV]）=v129（“伪造”）v91.1->v93[PV]v12（v103[C]，v96[PR1]）=v1（v104[C]、v80[PV]、v81[I]、v82[I]，v83[R64]、v84[R64'、v86[R64]、v87[R64）、v133[PR2]）=v132.0->v88[R64]v133.0->v132[PF1]v133.1->v85[PV]长度（v80）->v46[I]v118（v105[I]）=real63_64（v105）->v43[R64]长度（v80）->v59[I]v107（v106[I]）=real63_64（v106）->v56[R64]sub64（v84，v56）->v55[R64]v104（v55）如果u63<（v82，v59）[v108]，则下标（v80，v82）->v60[I]v107（v60）其他的{v93，（I63t）0，（I63 t）0}->v98v98.0->v110[PV]v98.1->v111[PV]v98.2->v112[PV]｛“有效期：3.22-3.31”，v112｝->v114{v110、v111、v114}->v113gethdlr（）->v117[FN]v117（v101，v113）如果u63<（v81，v46）[v119]，则下标（v80，v81）->v47[I]v118（第47版）其他的{v93，（I63t）0，（I63 t）0}->v97v97.0->v121[PV]v97.1->v122[PV]v97.2->v123[PV]{“valia.sml:2.22-2.31”，v123}->v125{v121、v122、v125}->v124gethdlr（）->v128[FN]v128（v101，v124）v103（v1）{v12}->v89v102（v89）