Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] View of /archive/mlsave.35/mo.m68/TypesUtil.mo
ViewVC logotype

View of /archive/mlsave.35/mo.m68/TypesUtil.mo

Parent Directory Parent Directory | Revision Log Revision Log


Revision 4054 - (download) (annotate)
Wed Feb 4 20:42:42 2015 UTC (4 years, 4 months ago) by dbm
File size: 23080 byte(s)
Initial import of archive (of early versions of sml/nj)
%ºŽ[ü,üKú|,ÍGîÿüºŽ[ü,ü!KúX,Í,üEîÿøºŽ[ü,ü!Kú.,Í,ÊEîÿøºŽ[ü,ü!Kú,Í,ÊEîÿøºŽ[ü,ü!Kúæ,Í,ÊEîÿøºŽ[ü,ü!KúÀ,Í,ÊEîÿøºŽ[ü,ü!Kúš,Í,ÊEîÿøºŽ[ü,ü!Kút,Í,ÊEîÿøºŽ[ü,ü!KúJ,Í,ÊEîÿøºŽ[ü,ü!Kú(,Í,ÊEîÿøºŽ[ü,ü!,Ë,ÊAîÿø&QNÓGCore5—PrintUtil…WAsciiÅWList2gBasicsEGCoreu‡ErrorMsgµwInitialõ§BasicTypesE&h(S&k$S&k SºŽ[ü,üQ,É,Ì,Ê,Ë,ÈIîÿì&k$S&k S&k"SºŽ[ü,ü,Ô,ì,ì,ì,Ê,È,Ë,ÉIîÿà&k"S&k&SºŽ[ü,ü¡Kút,ÍKúR,Í,ì,ì,Ê,È,ì,É,Ë,ÔGîÿØ(l$lºŽ[ü,ü1,ü·,üY,ü»AîÿôCë&RNÓ	…&i&k&k<Céÿü(P$H KNÔ	õºŽ[ü,üKúp,ÍGîÿüºŽ[ü,ü!,ü,ËEîÿøºŽ[ü,üKú6,ÍIîÿüºŽ[ü,üQ,Ë,Ê,Ì,È,ÉGîÿ캎[ü,ü!,ü,ÌEîÿøºŽ[ü,üKúà,ÍAîÿüºŽ[ü,ü!,ü,ÈIîÿøºŽ[ü,ü1*i,í$,ü*i,í$CîÿôºŽ[ü,ü!,É,üCîÿøºŽ[ü,ü‘,Ó,ë,ë,Ê,È,Ì,É,ë,ëGîÿܺŽ[ü,ü!,ü*k *m,í$Eîÿø k  h"h"QºŽ[ü,üKú,ÍIîÿüºŽ[ü,üÑ,Ó,ë,ë,ë,ë,ë,ë,Ê,Ì,ë,ë ,È,ÉGîÿ̺Ž[ü,üKú¶,ÍAîÿüºŽ[ü,ü!,ü,ÈCîÿøºŽ[ü,üÑKúUø,ÍKúU,ÍKúT,ÍKúS,ÍKúQø,ÍKúQâ,ÍKúPà,ÍKúPR,ÍKúL0,ÍKúL,ÍKúK¸,ÍKúJÞ,ÍKúJ´,ÍKúJ¢,ÍKúJŒ,ÍKúJv,ÍKúJd,ÍKúI6,ÍKúI ,ÍKúHj,ÍKú?¨,ÍKú=Æ,ÍKú=„,ÍKúZ,Í*k(,í*k(,í,ë,*k(,í*k(,í*k(,í*k(,í ,Ó,ë,ë,ë,ë,ë,ë,Ê,ë0,Ì,È,É*k(,í$,ë$GîÿL$kx$j`$RAë\(j¹üg&R$k&P"H JNÓ(RºŽ[ü,üKúN,ÍKú(,ÍKúú,Í,ëp,ët,È,Ì,ë°Cîÿà&i&k,$k8&RAúNÓEtycStamp: INDtyc µ·InstantiateWUnifyE§ReduceType•WSHAREÕwLookTycºŽ[ü,üAKú,,Í,é,é,ÈGîÿð(i(l$l i(R"KNÔõºŽ[ü,ü!,é,ÈAîÿø&i$i(R"KNÔ•ºŽ[ü,ü!,é,ÈAîÿø"i&QNÓºŽ[ü,üaKú´,Í,é,é,é,È,éGîÿè$i&
fˆ j±ügD±üg(S"K JNÔ(R T"h³üg(S"K JNÔºŽ[ü,ü1Kúð,Í,Ë,ÌGîÿô$P`¦(R T"h³üg(S"K JNÔºŽ[ü,ü1Kú	,Í,Ë,ÌGîÿô$P`ÿr`Œ&i&fj$kµüg˜µüg&i(S"K |NÔ$S&fn(h¹üg&i(S"K |NÔ(PºŽ[ü,üAKú,Í,é,Ê,ÌEîÿðºŽ[ü,ü!,Ó,ÐGîÿø(S&k¹Ëf&R"J |NÓ&R"J |NÓ&i`œ$S(R&f°ºŽ[ü,üQ,È,É,Ë,Ê,ÌEîÿì(h¹üg&i(S"K |NÔ(PºŽ[ü,ü‘Kú,Í,é,é,é,ê,Ì,Ë,È,éGîÿÜ T P$j$RºŽ[ü,ü!,Ê,ÈEîÿø k "R(jºŽ[ü,üAKú,Í,Ë,Ì,ÈIîÿð$I&H L`üz&i`ÿt&i`þ¬#%±üg"i&Q |NÓ&i&S$i$R(k¹üg"i&Q |NÓ&S(j¹üg"i&Q |NÓ$R·Êf"i&Q |NÓ"i&Q |NÓ%%±üg4ºŽ[ü,üAKúP,Í,é,é,éGîÿð(i$T(i AìH(R"KNÔ&GºŽ[ü,ü‘Kú®,ÍKú”,ÍKú>,Í,é,é,Ë,é,é,é GîÿÜ.$k Gë k&fÎ"h³üg&j"G(Q KNÔ P"P"Q(i¹üg&j`à"Q"i&	f†(i¹üg&j`¾ºŽ[ü,ü!,Ñ,èAîÿø"P(Q"iºŽ[ü,üQKúR,Í,È,êt,ê„,êˆEîÿì¹üo$ GºŽ[ü,üaKúD,ÍKú*,Í,ê,Ë,É,ÈGîÿè.Gë&	fæ i±üg†±üg`±üg&j"G(Q KNÔ Q P"h³üg³üg&j`Ú"P`ª(j(lhºŽ[ü,ü!*j,í,ÐAîÿø$T"K&J$LNÓ Q P"h³üg&j`–"P`ÿf Q"hºŽ[ü,üQKú ,ÍKú,Í,Ë,È,ÉGîÿì j"jG뺎[ü,üAKú,Í,É,È,ÊAîÿð(S"KNÔ&j`ÿ8(S I"KNÔ&j`þF&j`þ>.µºŽ[ü,ü!*i,í*i,íGîÿø"i(P$H KNÔ/uºŽ[ü,ü!,È,éGîÿø$iCéÿü S(kºŽ[ü,üaKúúz,Í,êd,êŒ,É,Ì,ÊGîÿè$H`úŠ0µ&i."i&QNÓ1$i.
&h(i·Ìg&R"JNÓºŽ[ü,üKút,ÍKúZ,ÍKú0,Í,Ì,é,Ê,é,é Iîÿà.$lGì i`ý22…ºŽ[ü,ü!,é,ÈGîÿø$iCéÿü`ÿ:3&i."i&QNÓ3e$i.
&h(i·Ìg&R"JNÓ"i&Q |NÓ4&iCéÿü(GºŽ[ü,üKúF,ÍKú,,ÍKúÿÞ,Í,È,ëŒ,É,Ì,ËCîÿà.	Cé$K&I`ü„55&i."i&QNÓ5…$i.
&h(i·Ìg&R"JNÓ i"i&QNÓ6%&fb&P(hºŽ[ü,üQ,É,È,Ê,Ë,ÌGîÿì(GºŽ[ü,ü‘Kú,ÍKú>,Í,ê,ê,Ì,ë,ê,È,ÉIîÿÜ.Cì$i(R kNÔ"G j&QNÓ8(GºŽ[ü,ü‘KúŠ,ÍKúT,ÍKú:,Í,é,é,Ì,é,é,ÈIîÿÜ. i&lIì$i"K&L`ý9UCéÿü&i(P$H KNÔ9¥&i.&i$i"iºŽ[ü,ü!,Ë,ÈAîÿø.	&R"JNÓ:e$i.
&h(i·Ìg&R"JNÓ&i $i(i i"L`¶;%$i.
&h(i·Ìg&R"JNÓºŽ[ü,üQKúD,ÍKú*,Í,é,é,é Gîÿì iGë$i"L`üR<uCéÿü&i(P$H KNÔ<źŽ[ü,ü!*i,Õ,ÈAîÿø"i&QNÓ=UCéÿü&i(P$H KNÔ=¥ºŽ[ü,ü!*i,Õ,ÈGîÿøºŽ[ü,ü!,Ë,üAîÿø"i&QNÓ>…&I"H`úô>µ&i."i&QNÓ?$i.
&h(i·Ìg&R"JNÓ i"i&QNÓ?¥ºŽ[ü,ü!,È,üGîÿø$iºŽ[ü,ü1,Ê,ü,Æ,†ÿÿÿô$‹"i&QNÓ@µºŽ[ü,ü!,È,üGîÿø$iºŽ[ü,ü1,Ê,ü,Æ,†ÿÿÿô$‹"i&QNÓAÅ&h·üg&j k"G&QNÓ P(P h&h·üg&j`Ü&P&SºŽ[ü,üKú(,Í,ê,ê,ê,Ì,Ë,ê,êAîÿà&QNÓCu&h·üg&QNÓ&P&fò S(k&fºŽ[ü,ü,ê,ê,Ë,È,Ì,ê,ê,êGîÿà$j&
fÜ R$j(h¹ü	g&S$k &RAú®NÓ P(hºŽ[ü,üQ,Ë,É,Ê,È,ÌEîÿì l±üg&S`Æ T(k¹ÈfzºŽ[ü,üqKúÞ,ÍKú|,Í,ë,ë,ë,ë,ÉAîÿ于[ü,ü!*j,í,ëEîÿø&kA躎[ü,üaKúþ€,Í,ël,ëp,ët,Ê,ËEîÿè&P"H JNÓ$j`ÿ&S`ÿ6ºŽ[ü,üQKú~,Í,ê,ê,ê,ÉAîÿ캎[ü,ü!,Ë,êGîÿø$j(S&k&fp"T(l&f>ºŽ[ü,üQKúØ,Í,ê€,Ì,È,ÊIîÿì$jt$jкŽ[ü,ü!,Ó,ÉAîÿø&R"LNÓ(jt$lкŽ[ü,ü!,ë,ÉGîÿø(R"H KNÔ&jp$k &R"HAúNÓ&QNÓKÅ·lookTycPathL‡typesutil.printableTyconL•ºŽ[ü,ü1Kú<,ÍKéÿü,Í,ÈGîÿô(i$lкŽ[ü,ü!*i,Õ*i,ÕAîÿø(R"KNÔMµ&i$i(R"KNÔNºŽ[ü,ü!,é,üGîÿø"i(P$H KNÔN¥&h·üg&i k"G&QNÓ&PºŽ[ü,ü1Kú8,Í,Ë,éIîÿô$i$j¸ºŽ[ü,ü!,ë,éAîÿø&R"LNÓP%ºŽ[ü,üQ*i,Õ*i,í*i,í,È*i,íGîÿ캎[ü,ü!,Ë,üAîÿø"i&QNÓQe&h·üg$G i&R"JNÓºŽ[ü,ü!,é*P,ÕGîÿø$i i`ýÈRe&h·üg&QNÓºŽ[ü,ü!,Ð,êGîÿø$j I`ý”S5&GºŽ[ü,ü‘KúR,ÍKú ,ÍKú,Í,ê,ê,ê,Ë,ê,ÉGîÿÜEë.
Eê&fº(h";ÊNû@h(P T(lºŽ[ü,üQKúº,Í,Ë,ë,Ê,ÌCîÿì P$k&RNÓ(P(T l±üg&k&k (S"J$KAújNÔ T`‚"P(iºŽ[ü,üAKú,Í,Ê,É,ÌEîÿð l`ÿ\(P(T"l³üg&R"JNÓ T`ÿ@&k&k (S"J$KAúNÔW¥×typeInContextXºŽ[ü,ü,ÈGîÿüºŽ[ü,üQKúH,ÍKú.,Í,é,Ë,éGîÿì(i$lTGë i(R"KNÔYECéÿü&i(P$H KNÔY•ºŽ[ü,ü!,é,ÈGîÿøºŽ[ü,ü!,Ë,üAîÿø"i&QNÓZuºŽ[ü,ü!*i,Õ,ÈGîÿøºŽ[ü,ü!*i,Õ,ËGîÿøºŽ[ü,ü!,Ë,üAîÿø"i&QNÓ[µ&i."i&QNÓ\$i.
&h(i·Ìg&R"JNÓ"i&Q |NÓ\µ&J$I`ýÚ\庎[ü,ü!,é,ÈAîÿø"i&QNÓ]e&i$k "i&RAúNÓ]ŇtycStamp^&i&k,$k8Cé&R |NÓ^…Cé i$i&RNÓ^ÕºŽ[ü,ü1Kú ,Í,é,ÈAîÿô&i$i`íR_…&i·Èf"i&Q |NÓ"i&Q |NÓ`%ºŽ[ü,üKú\,ÍKéÿô,Í,é,é,é,é,é,é0,é4,é8,é@,éD,éH,éL,éP,ÈAîÿÀ(h(l$TGéÿ¤`ìÂaźŽ[ü,üKúx,ÍGîÿüºŽ[ü,ü!,ü,ËEîÿøºŽ[ü,üKú>,ÍIîÿüºŽ[ü,üQ,Ë,Ê,Ì,È,ÉAîÿ캎[ü,ü!,ü,ÌCîÿøºŽ[ü,üKú(x,ÍKú(b,ÍKú'Ü,ÍKú'R,ÍKú%p,ÍKú,ÍKú,ÍKúê,Í*h*mKíÿ°,Í*h,í*h,í*h,í*h,í*h,í*h,í(*h,í,*h,í0*h,í4,Ë,Ê,Ì,É*h,í<,èGîÿ ºŽ[ü,ü1*h*m,Õ,É*h,í ,ë<*k KíT,Í*k Kí8,Í*k Kí,Í*k Kí,ÍKë,Í*h,í$Kë,Í,ë *k Kí$,Í*k KíD,Í*k KíH,Í*k Kí@,ÍKë,ÍKë,ÍKë,Í*h,í*k KíX,Í*k Kí ,Í*k Kí(,Í*k Kí4,Í*k Kí<,Í*k Kí,Í*k Kí,Í*k Kí,Í*k Kí,Í*k Kí,Í*k Kí0,Í*k KíL,Í*k Kí,,ÍKë,Í,ËGîÿtºŽ[ü,ü!,Ë,üEîÿø&h"k8&Q JNÓk…wCHECKEQkÅgREFTYClºŽ[ü,ü!*i,í*i,íGîÿø$i i"S&k&	fŽ&fdºŽ[ü,üQKúÿ¶,Í,É,Ë,È,ÊAîÿ캎[ü,ü!,Ñ,ÓGîÿø"S(kºŽ[ü,üKúz,Í,ê ,ê4,ê<,ê@,È,Ì,ÊGîÿà$I`ë&j<ºŽ[ü,ü!Kú2,Í,ËAîÿø"G&QNÓ&f&j<`Ö&P"H |NÓo…argument numberso庎[ü,üKú0,Í,é,é,é,é,é,È,éGîÿà$i`ê‚pÕºŽ[ü,üq,é,é,é,é,é,È,éGîÿä$k&
fN(j¹üg	¦¹ügb¹ügX$k&
f, j±üg¬±üg &kºŽ[ü,ü!Kú
,Í,ËAîÿø"G&QNÓºŽ[ü,ü,ÒEîÿü k"GºŽ[ü,üaKú
J,ÍKú
0,Í,ë,ë,É,ÈAîÿè.ºŽ[ü,ü!,Ò,ëEîÿø&kAè(R"jºŽ[ü,üQ,Ë,È,Ê,Ì,ÉEîÿì(T l";ŠNûTjÌ T(k,(l &k0"k¼ºŽ[ü,üQKúT,ÍKú,Í,ê,Ì,ÉIîÿì&k$k,Cì&RNÓ&k,&k (S"j$KAúìNÔ T"h(hºŽ[ü,ü±Kú¦,ÍKúP,Í,ê,ë0,ë<,ê,È,É,Ì,ê,êAîÿÔ³üg"GºŽ[ü,üaKú†,ÍKúl,Í,è,ëP,É,ÈAîÿè.Aè$j&
fÌ"j³üg°³üg^³üg&P"H |NÓ$R$R(j¹üg6¹üg&P"H |NÓ$R$Rµüg&P"H |NÓ"G kT&QNÓ$R`‚(R(T$lµüg2(TºŽ[ü,üQKú2,ÍKú,Í,È,Ì,ËCîÿì&k0$kÄAé&RNÓ$T`ÿ<$R"R$j"Q(GºŽ[ü,ü¡KúH,ÍKú*,ÍKú,ÍKúö,ÍKë,Í,ë0,ëH,È,Ì,ÊEîÿØ.
Eê(i¹üg&k,&k (S"J$KAú
,NÔ Q"h hºŽ[ü,üQ,ë,,ëL,ëT,É,ÊEîÿì"kX±ÉfZ |±üg
"G j&QNÓ&j&S·üg*·üg&R&k "j(S$KAú	ªNÔ"j&Q |NÓ"G j&QNÓ&k\±Ëf |`œ |`”`þREè&j$&fø"k³ügÀ³ügn³üg&R"J |NÓ"S(Q&l·ügDºŽ[ü,üKú~,Í,è,è,Ê,É,è,è,è Eîÿຎ[ü,ü!,è$,ÉGîÿø`ç*&T`ÿt&S&S(k¹üg2&SºŽ[ü,üQKú2,ÍKú,Í,Ê,Ë,ÈCîÿì&h$kÄAé&RNÓ&S`ÿ,&S&kºŽ[ü,ü1Kú,Í,Ê,ËCîÿô&h$kÄ&RNÓ`ÿ&&	f&kD"G(Q KNÔ³üg&kD`ê"j&Q |NÓ$R$R$R j±üg&k`ûJ$R$j&
fB$jµüg&k`û($kºŽ[ü,üAKúB,Í,ë,Ê,ëCîÿð$S k&I`è&k`úòµüg&k`úâ"k&Q |NÓ"R&fÎ(h¹üg¨¹üg^$kºŽ[ü,ü,ÉAîÿü"GºŽ[ü,üaKú~,ÍKúd,Í,ë,ë,É,ÊCîÿè.	ºŽ[ü,ü!,Ð,ëEîÿø&kAé`úʺŽ[ü,üKúŠ,Í,ë,ë,ë,É,Ê,È,ëEîÿຎ[ü,ü!,É,ÐGîÿø`å.ºŽ[ü,ü,ÉAîÿü$k`ÿ`±üg$k`ÿ@ºŽ[ü,ü,ÉAîÿü$k`ÿ8$R&f"h³üg@³üg(³üg&k`ù¢ºŽ[ü,ü,ÐEîÿü k`ùº P"P(i¹üg&k`ùr(RºŽ[ü,üQ,É,Ì,Ë,Ê,ÈCîÿì(l¹üg&k`ùDºŽ[ü,üAKúÒ,Í,ë,Ê,ÈEîÿðºŽ[ü,ü!*i,Õ*Q,ÕAîÿø&k(P"h&fz&	fjºŽ[ü,üQ,Ë,Ê,È,Ì,ÉGîÿì$Q TºŽ[ü,ü¡Kú
8,Í*S,í$*S,í0,Ê,È,Ì,É,ë,ë,ÓCîÿغŽ[ü,ü!,Ð,ÒAîÿø&S$k8&RNÓ&R"J LNÓ&R I"JNÓ"P(QºŽ[ü,üQ,Ë,È,Ê,É,ÌAîÿì$R"j³ügH$T j±üg&k`ø<$R$j&
f$jµüg&k`ø$k`üð&k`ø
"T(i¹üg&k`÷ô"Q"i&	f&(i¹üg¹üg&k`÷ƺŽ[ü,üAKú,Í,ë,è,èIîÿðºŽ[ü,ü1,Ò,Ñ*h,íEîÿô&k R"jºŽ[ü,üQ,Ë,Ì,Ê,È,ÉGîÿì$j&fŠ&	f`(PºŽ[ü,üÁKú	Ô,Í*S,í$*S,í(*S,í0*S,í<,Ì,È,É,Ê,ë,ë,ÓEîÿкŽ[ü,ü!,Ô,ÑAîÿø&S&k8(S"J$KNÔºŽ[ü,ü!Kú¢,Í*S,í<Aîÿø"G&QNÓ&T"L |NÓ$k`ûž&k`ö¸±üg&k`ö¨"k&Q |NÓ(R&f$ºŽ[ü,üQ,Ë,È,É,Ê,ÌEîÿì(h¹üg¤¹üg”¹ügr k"k$j$R$R(j¹üg&I`ö4$R$j&
f<$jµüg&I`öºŽ[ü,üAKúV,Í,ë,È,ëCîÿð$S k&I`ã&I`õ于[ü,ü,ÐEîÿü k`õü P"j"Q(P&l·ügP Q"h³üg
$R&j`õž P h&f  h±üg
$R&j`õz&R k`ÿ^$R&j`õf"Q&i·üg
$R&j`õN"Q"i&	fp&i·ügZ·üg
$R&j`õ"ºŽ[ü,üAKú¨,Í*R,í,È,êAîÿðºŽ[ü,ü1,Ô,Ñ*j,íCîÿô&R&k$I(H`ýT&R k`þ¾$R&j`ôÆ(PºŽ[ü,ü¡Kú–,Í,Ó,é,ë,ë,ê,Ì,ê,È,ëGîÿØ"T(j(T(T"QºŽ[ü,ü!,Ì,ÉEîÿø k`à@±üg k"k$L`þ$T$R(j¹üg"k&Q |NÓ$R$j&
f$$jµüg&k(S"K |NÔ k`ýô&k`æµüg`óÌ&f–$hµüg0µüg&k(S"K |NÔºŽ[ü,ü,ÐEîÿü k`óÞ$P$R$R(j¹üg"k&Q |NÓ$R$j&
f$$jµüg&k(S"K |NÔ$k`ø:&k`æ&k`ÿ~¥µ×record length¦weqtyc 1¦Uweqtyc 2¦•·instantiate -- INSTANTIATED§%×type mismatch§…ºŽ[ü,ü!,é,ÈGîÿø$i i`ñn¨ºŽ[ü,ü!,È,éGîÿø$i i`ñJ¨¥&i."i&QNÓ¨õ$i.
&h(i·Ìg&R"JNÓºŽ[ü,ü!Kú,Í,éAîÿø&R"JNÓ©åçbound type varªE&i."i&QNÓª•$i.
&h(i·Ìg&R"JNÓºŽ[ü,ü!Kú,Í,éAîÿø&R"JNÓ«…çbound type var«å±üg"i&Q |NÓ(GºŽ[ü,ü‘Kúd,ÍKúJ,Í,é,é,é,Ì,é,é,éIîÿÜ.ºŽ[ü,ü!,é,ìEîÿø&l Aì`ñÄ­µ&i."i&QNÓ®$i.
&h(i·Ìg&R"JNÓºŽ[ü,üaKúX,ÍKú>,Í,é,Ì,é,ÊIîÿè.ºŽ[ü,ü!*i,Õ,éEîÿø&i Aì`ñH¯¥&i."i&QNÓ¯õ$i.
&h(i·Ìg&R"JNÓºŽ[ü,ü!Kú,Í,éAîÿø&R"JNÓ°åçbound type var±EºŽ[ü,ü!,È,üGîÿøºŽ[ü,ü,ËGîÿüºŽ[ü,ü!,Ë,üGîÿøºŽ[ü,ü!,Ë,üGîÿø$iºŽ[ü,ü1,Ê,ü,Æ,†ÿÿÿô$‹&R$iºŽ[ü,ü1,Ê,ü,Æ,†ÿÿÿô$‹"i&Q |NÓ³õºŽ[ü,ü!,é,üGîÿø$iºŽ[ü,ü1,Ê,ü,Æ,†ÿÿÿô$‹"i&Q |NÓµ%ºŽ[ü,ü!,é,üGîÿø$iºŽ[ü,ü1,Ê,ü,Æ,†ÿÿÿô$‹"i&Q |NÓ¶U±üg*ºŽ[ü,ü!*i,í*i,íGîÿø$i$ i`íb(GºŽ[ü,ü±Kú€,ÍKúf,ÍKú<,Í,é,é,é,é,Ì,é,é ,é$CîÿÔ.	$iGé k`Û´¸uºŽ[ü,ü!,È,éGîÿø$i Aéÿü`í2¹&i."i&QNÓ¹U$i.
&h(i·Ìg&R"JNÓºŽ[ü,ü‘Kúx,ÍKú^,ÍKú4,Í,Ì,é,é,Ê,é ,é(IîÿÜ.$iGì i$`ۺ庎[ü,ü!,é,ÈGîÿø$iAéÿü`얻u&i."i&QNÓ»Å$i.
&h(i·Ìg&R"JNÓºŽ[ü,ü!Kú,Í,éAîÿø&R"JNÓ¼µçtycon mismatch½±üg`(i &fFºŽ[ü,üaKúÜ,Í,é,é,Ì,é(,é,Aîÿ躎[ü,ü!*i,í,ÔGîÿø$h`ëÐ&i k"G&QNÓºŽ[ü,üKúÀ,Í,é,é,é,é ,é$,é(,é,Gîÿຎ[ü,ü!*k,Õ*i,ÕEîÿø k"i(R$j h, hºŽ[ü,üQKúÕì,Í,É,È,Ê,ËGîÿì$i$j R"K&H LNÓÁºŽ[ü,ü1*i,í*i,í*i,íEîÿô&i(i`ô¾Áå±üg6ºŽ[ü,üQKúd,Í,é,é,é,éGîÿì(i$lÜ i(R"KNÔºŽ[ü,ü!Kú,Í,éAîÿø"G&QNÓÃe×record labelsÃźŽ[ü,ü1*i,Õ*i,í,ÈEîÿô&i(i`ôą±ügTºŽ[ü,üqKúÄ,ÍKúž,Í,é,é,é,é ,é$Aîÿ于[ü,ü!*h,í*i,íGîÿø$h`éòºŽ[ü,üKú ,Í,é,é,é,é,é,é ,é$Gîÿຎ[ü,ü!*k,Õ*k,ÕEîÿø i"i`þ.ÇeºŽ[ü,ü!,é,ÈAîÿø"i&QNÓÇ庎[ü,ü!*i,í*i,íAîÿø&iEé`ñŠÈ¥±ügBºŽ[ü,ü1Kú|,Í,é,éEîÿôºŽ[ü,ü!*i,í*i,íAîÿø&i`ñ:ºŽ[ü,ü1KúZ,Í,é,éEîÿôºŽ[ü,ü!*i,Õ*i,íAîÿø&i`ðúÊ庎[ü,ü!,é,ÈAîÿø"i&QNÓËeºŽ[ü,ü!,é,ÈAîÿø"i&QNÓËå(h&j$L I`ë8Ì5&i(i$P"K&J$H LNÓ̕Céÿü&i(P$H KNÔÌå&i."i&QNÓÍ5&i$kÄCé i&RNÓ͕$i .
&h(i·Ìg&R"JNÓ"i&Q |NÓÎEºŽ[ü,ü!Kú ,Í,ÈAîÿøCéÿü$i&RNÓÎåwinstantiate -- IBOUND: Ïe&i$i(R"KNÔϵ±ügºŽ[ü,ü!Kúì,Í,éAîÿø"G&QNÓ&i$S(j¹ügP¹üg"i&Q |NÓ&R&k$iµËlºŽ[ü,ü!Kú|,Í,éAîÿø"G&QNÓ"i&Q |NÓ(R$lºŽ[ü,üKúv,Í,é,é,Ì,Ê,Ë,é,éCîÿà&i$k\ºŽ[ü,ü!*i,Õ,ÔAîÿø&RNÓÓ5'weakness violationÓ¥·circularityÓõºŽ[ü,üaKúL,Í,é,é,é,é,ÈGîÿè(i$l\ºŽ[ü,ü!*i,í*i,íAîÿø(R"KNÔÕUºŽ[ü,üA,é,é,é,ÈGîÿð$iµügb$|ºŽ[ü,ü1,ë,Ê,ëEîÿôºŽ[ü,ü!,Ê,üEîÿø(kºŽ[ü,ü1,Ì,ü,Æ,†ÿÿÿô(Š"S&Q |NÓ$i`ž×¥&h j$I`ê*×õ&i(i$P"K&J$H LNÓØU&i(i$P"K&J$H LNÓصºŽ[ü,ü!*i,í,üGîÿø$i ºŽ[ü,ü1,Ê,ü,Æ,†ÿÿÿô$‹"i&Q |NÓÙõ&H J$I`éšÚ5&i. i`é~څ$i.
&h(i·Ìg&R"JNÓºŽ[ü,ü!Kú,Í,éAîÿø&R"JNÓÛugequality type requiredÛõEêÿä&H I`äfÜ5Gêÿè$H I`ç(ÜuºŽ[ü,üÁKú<,Í,ê,ê,ê,ê,ê4,ê8,ê<,ê@,êD,êH,ÈAîÿÐ&QNÓݕ&h·üg&j k"G&QNÓ&P&kºŽ[ü,ü,üIîÿüºŽ[ü,üQ,Ì,É,È,Ê,ËGîÿì GºŽ[ü,üaKú¢,ÍKúŒ,ÍKú2,ÍKú,ÍKúú,ÍKúÜ,ÍKú¢,Í,ê,ê,ê,ê,ê,ê,ê,ê ,Ì,È,ë,ê$,ê(,ê,,ÉEîÿ¨Aê.Aè&k(k¹üg&j$$k &R"HAúpNÓ"S(iºŽ[ü,üQ,Ê,È,Ë,É,ÌGîÿì(i"iºŽ[ü,ü±,ê,ê$,ê(,ê0,ê8,ê<,ë,Ì,ë,È,ÊGîÿÔ jH³Èfæ$|µüg
"G k&QNÓ$k$Rµüg µüg"k$&Q |NÓ"G k&QNÓºŽ[ü,üKúV,Í,ë,ë,ë,ë,ë ,ë$,ë(Eîÿà j PºŽ[ü,ü!,ê,ÈAîÿø&S"P(h&f8ºŽ[ü,üQKúè,Í,Ë,É,Ì,ÊEîÿ캎[ü,ü!,É,ÔCîÿø K&J$I`Ï&R"J |NÓ jL³Èf
$|`ÿ$|`ÿæÕWdefineEqTycon/eqtyc 2çU$iCéÿô&H I`þLç¥Céÿü&i(P$H KNÔçõ&i."i&QNÓèE&i$kÄCé&iAë&RNÓèµ$i .
&h(i·Ìg&R"JNÓ"i&Q |NÓée±üg"i&Q |NÓ&i$SºŽ[ü,ü!,é,ÊEîÿøºŽ[ü,ü1,Ë,ü,Æ,†ÿÿÿô&Š&i&fN$kµügµüg,µüg&i(S"K |NÔ&i$k "i&RAúNÓ&S&k$i i&fÂ"k³üg\³üg4³üg&P"H |NÓ&S&S(k¹üg&P"H |NÓ&S`®&S&S(k¹üg&P"H |NÓ&S`Ž&S(S&k(T"GºŽ[ü,ü±Kúþž,ÍKúþ|,ÍKúþb,ÍKúþH,ÍKúþ.,Í,ê(,ê,,È,É,Ë,ÊGîÿÔ.Cë$jP&R LNÓ`ÿZ&SºŽ[ü,ü1KúL,Í,Ë,éGîÿô(i$lÄ i(R"KNÔ&i`þÐð5WdefineEqTycon/eqtyc 1ðµ&i(i$P"K&J$H LNÓñ±üg"i&Q |NÓºŽ[ü,ü!,é*i,íAîÿø&i$i`üÄò&h·üg&j k"G&QNÓ&P&k&¼&Q |NÓòå&i(&SCéÿü(P$H KNÔóE&i0."iD&QNÓó•&i$kÄCéAé&RNÓóõ$i8.
&h(i,·Ìg&(i$·Ìg&R"JNÓ&i<&¼"iL&Q |NÓ&i<&¼"iL&Q |NÓõEEêÿü&H I`ýªõ…&P(h·üg
&Q |NÓ&fè&l·ügŒ·üg
&Q |NÓ&T&k&k&fd k±üg
&Q |NÓ&S&k&f6(S&k&f&k&f
&Q |NÓ&L I`ý&Q |NÓ&Q |NÓ`¦&T&k&f6(S&k&f&k&f
&Q |NÓ&L I`ü²&Q |NÓ&Q |NÓ`ÿ.ùźŽ[ü,üaKúÄ,ÍKêÿð,Í,ê ,ê8,êD,ÈGîÿè$P&
f j±üg¢±ügx±üg
&Q |NÓ$R$R(j¹üg¹üg
&Q |NÓ$R`¨ºŽ[ü,ü1Kú®,Í,ë,ÉCîÿô(k(lhºŽ[ü,ü!*k,í,ÒAîÿø&T$LNÓ$R$R(j¹üg
&Q |NÓ$R`ÿJ R(P h(T$GºŽ[ü,ü¡Kúª,ÍKúŒ,ÍKúr,ÍKúX,Í,Ë,ë,ë,É,Ê,ÈAîÿØ.&kEè"L`ß®`ÿþµ&P·üg"i&Q |NÓ$G i&R"JNÓÿUCéÿü&i(P$H KNÔÿ¥&i."i&QNÓÿõ&i$kÄCé i&RNÓU$i .
&h(i·Ìg&R"JNÓ"i&Q |NÓ&J$H`þT5&h·üg&j $k &RAú\NÓ&P&k&S·üg"·üg&j $k &RAú NÓ&Q |NÓ&Q |NÓ¥·isEqTycon 1õ·isEqTycon 2E(GºŽ[ü,üQKúF,ÍKú(,Í,êH,Ì,ÉCîÿì.	GêÿøCé$H I`Ý:5&i."i&Q |NÓ•$i.
&h(i·Ìg&R"JNÓ"i&Q |NÓEGêÿü$H I`ÛÐ…&fD&P(hºŽ[ü,üKú¢,ÍKúˆ,ÍKú^,Í,Ê,Ë,Ì,È,ÉGîÿà(j0$lÄCëAé&RNÓºŽ[ü,ü!Kú,Í,ê<Aîÿø"G&QNÓE—empty set•ºŽ[ü,ü!*j,Õ,ÈGîÿø$j I`Ùj%Céÿü&i(P$H KNÔu i"i&QNÓµ&j@±üg"ºŽ[ü,ü1KúÄ ,Í,Ë,ÉCîÿô(U„Nv D`Ö&Q |NÓ	¥&P(h&fŠºŽ[ü,üQ,É,È,Ê,Ë,ÌEîÿì(k¹üg(Q KNÔ&S(SºŽ[ü,ü±Kúj,ÍKúP,ÍKúJ,Í*jKíÿ¬,Í*j,í*j,í ,ê,Ë,Ì,È,ÉGîÿÔ(k$lTCëAé&RNÓ`š%&hºŽ[ü,üAKúØ,Í,ê,È,ÉIîÿðºŽ[ü,üQ,Ì,É,È,Ê,ËAîÿì"l(i$·Ìmd&i$$h hºŽ[ü,ü1,é$,Ð,ËGîÿôºŽ[ü,ü!,Ë,üGîÿøºŽ[ü,ü,ËGîÿüºŽ[ü,ü!,Ë,üAîÿø&R"JNÓ(j(l\"j"S(	؁Nv&DºŽ[ü,ü!,Ë*j,íGîÿø$T"P K&J$LNÓÅ$i(i"i&H L`ÿV%Céÿü&i (P$H KNÔuºŽ[ü,ü!*i,í,ÈAîÿø$i&i(`Åü&P(h SºŽ[ü,ü±KúP,ÍKêÿ°,Í,ê,ê ,ê$,ê(,ê<,Ë,Ì,È,ÉCîÿÔ(i$l̺Ž[ü,ü!,Ó,üAîÿø&RNÓ¥ºŽ[ü,üÁKú@,ÍKú,Í,é,é,é,é,é,é,é,é$,é(,ÈAîÿÐGè$i `Á¼å&i &f@$kµügŠµüg&i$i$j (R"KAú*NÔ(S(T&l·üg
$i&i`Ø&TºŽ[ü,ü‘Kú,Í,é,é,é,é,Ì,Ë,é$,ÈCîÿÜ&i$kкŽ[ü,ü!,é,ÔAîÿø&RNÓ$S(R&f’ºŽ[ü,üQ,È,É,Ë,Ê,ÌEîÿì(h¹üg&i$i`ÿL(PºŽ[ü,üÁKúÜ,Í,é,é,é,é,é,é,ê,Ì,Ë,È,é(GîÿÐ"T"Q(j(TºŽ[ü,ü!,Ì,ÉEîÿø k`ÂP&i$i`’&i$i`þÖU'matchScheme: matchźŽ[ü,üKúˆ,Í,é,é,é,é,é,È,é Gîÿà&f"ºŽ[ü,ü!,ë,ëAîÿø$k"K&H`Å2±üg`Ô(k$l于[ü,ü1,é*i,Õ,ëAîÿô"k&RNÓ±üg"i&Q |NÓ&i&k (i$l¼ºŽ[ü,üQKúz,ÍKú,,Í,Ë,Ê,éGîÿì(l$l,Gë i(R"KNÔ¥ºŽ[ü,ü!Kú ,Í,ÈAîÿøCéÿü$i&RNÓEwmatchScheme: bad tyvar Å&i$i(R"KNÔ±üg2ºŽ[ü,üAKú|,Í,é,é,é Gîÿð(i$l i,(R"KNÔ(GºŽ[ü,ü±Kúð,ÍKúÖ,ÍKúl,Í,é,é,é,é,é,Ì,é(,é,IîÿÔ.$lGì i$`Á|!UºŽ[ü,ü!*i,í*i,íGîÿø"i(P$H KNÔ"ºŽ[ü,ü!,È*i,íGîÿø$i Céÿü SºŽ[ü,ü±KúüF,Í,ê,Ë,ê,ê,ê,ê,É,È,ê,,ÊAîÿÔ$k&H`½Ì#¥&i."i&QNÓ#õ$i .
&h(i·Ìg&R"JNÓºŽ[ü,ü‘Kú|,ÍKúb,ÍKú4,Í,é,é,Ì,é,Ê,é(IîÿÜ.$iGì i$`Àr%…ºŽ[ü,ü!*i,Õ,ÈGîÿø$iCéÿü`ÿ$&%&i."i&QNÓ&u$i.
&h(i·Ìg&R"JNÓ&i$k "i&RAúNÓ'5×matchScheme: match -- tycons 'ÕºŽ[ü,üAKút,Í,é,é,ÈGîÿð$i(
T„Nv$D i"i(GºŽ[ü,üqKúh,ÍKúÿº,Í,É,Ì,È,Ê,ËGîÿä.(iкŽ[ü,ü!,È,ÊAîÿøCë&T$LNÓ)ÕºŽ[ü,ü!,é,ÈAîÿø&i."i&QNÓ*u$i.
&h(i(lx(l·Ìg&R"JNÓ"i&Q |NÓ+EºŽ[ü,ü‘KúÈ,ÍKéÿü,Í,é,é,é,é ,é$,é(,ÈGîÿÜ&f$hµüg&ºŽ[ü,ü!*k,í,ë Aîÿø$k"K&H`ýf P(hºŽ[ü,ü‘Kú&,ÍKúÐ,Í,ë,ë,È,Ì,ë,ë,ëAîÿܺŽ[ü,ü!*k,í,ìGîÿøEéÿü"H`ý
`ÿ|.•&i·üo6&i&kpºŽ[ü,ü1KúP,Í,é,ËGîÿô$i i"J$|`þB&i$kкŽ[ü,ü!,é,üAîÿø"i&RNÓ0U&i$i(R"KNÔ0¥ºŽ[ü,ü!*i,Õ,ÈGîÿøºŽ[ü,ü!*i,Õ,ËGîÿøºŽ[ü,ü!,Ë,üAîÿø"i&QNÓ1å(i¹üo0(i(lpºŽ[ü,ü1KúH,ÍKé,Í,ÌGîÿô$i i `ÿ(&i$kкŽ[ü,ü!,é ,üAîÿøCé&RNÓ3…&i$i(R"KNÔ3Õ&H`û¬4±üo,ºŽ[ü,üAKú0,Í,Ê,È,ÉCîÿð&j&kD jH(S$KNÔ&Q |NÓ5ºŽ[ü,ü!,È,üGîÿøºŽ[ü,ü1Kú*,Í,é,ËGîÿô(i(U„Nv D$i"K`ÿx6EºŽ[ü,ü!,é,ÈAîÿø"i&QNÓ6ÅEêÿ¸&H`¾@7ºŽ[ü,üAKú$,ÍKêÿ¼,Í,È,ÉGîÿðCêÿ¼$H I`º 7űüg"i&Q |NÓ&i$S&k(j¹üg"i&Q |NÓ$R$j&
f¤ j±üg&i(S"K |NÔ$R(R k±üg"i&Q |NÓ&S&k&fT k±üg&i(S"K |NÔ S&P¹Ëf"ºŽ[ü,ü!,ê,èGîÿø$i"i`½2"i&Q |NÓ&i`¶&i`ÿh;¥GêÿÀ`¾;ÕEêÿÄ&I`ºÎ<EêÿÈ&I`».<U$H&I`·”<…EêÿкŽ[ü,ü1KúÅh,Í,È,ÊAîÿô&QNÓ=&P hºŽ[ü,üQKú&,ÍKêÿÔ,Í,Ë,È,ÉCîÿì&j<$k0&RNÓ=õ±üg i"i&QNÓºŽ[ü,üQKúd,ÍKú*,Í,é,é,éGîÿì$kGë i"K`ÿ^?5&iCéÿüºŽ[ü,üQKúÄì,Í,ëp,ët,ë|,ÈAîÿì&QNÓ@&i(i$P"K&J$H LNÓ@eºŽ[ü,üQKúD,ÍKú*,ÍKêÿØ,Í,È,ÉCîÿìGêÿØAé$|`Á˜AUCéÿü&i(P$H KNÔA¥&i"i`ÿbAå&H$I`·PBºŽ[ü,üqKú0,Í,ê@,êH,êL,êT,È,ÉCîÿä&i&k$k&RNÓC&i&k0ºŽ[ü,ü‘Kúì,ÍKú¾,Í,é,é,é,Ë,é,é,ÈGîÿÜ(k$lÔºŽ[ü,ü1,È,ü,üAîÿôCë&RNÓDµºŽ[ü,ü‘KúL,ÍKú2,Í,é,é,é,é,é,È,éCîÿÜ&i$k,&RNÓEÅ&i."i&QNÓF±ügâ&i(T„Nv&D$i"
âL<Nv(D$D i"
S(؁Nv D$i$j "
S(˜Nv DºŽ[ü,ü!,Ë,ÈGîÿø$i Cé(S kºŽ[ü,üQ,Ê,É,Ë,Ì,ÈGîÿì GºŽ[ü,ü‘Kúf,ÍKúÿ,Í,ê,ê,È,Ì,ë,É,ÊIîÿÜ. l hŒºŽ[ü,ü!,ê *k,ÕGîÿøCì(P$H KNÔ&i. i"i&QNÓJ$i.
&h(i(lh(l·Ìg&R"JNÓ i"i&QNÓJÕ$i.
&h(i(lh(l·Ìg&R"JNÓ&i&k$$i  i"iºŽ[ü,ü1,ê,É,ËGîÿôºŽ[ü,ü!,Ë,üEîÿø&P"H JNÓL…$i$(i"i&H L`¶LåCéÿü$i&RNÓM%(i.±üg$ºŽ[ü,ü!*i,Õ,üGîÿø"i $I`þz(i&l$$i i"i`ÿXNeºŽ[ü,ü!,È,üOAîÿøCéÿü$i&RNÓO±üg´ºŽ[ü,ü!,ü,üGîÿø(GºŽ[ü,ü¡Kúÿ.,ÍKúþ¼,Í,é,é,é,Ì,é,é,é ,ËEîÿØAê."h"i,ºŽ[ü,ü‘Kúÿ,ÍKúþü,Í,è,Ì,É,è,è,Ë,ÊIîÿÜ$h$jŒºŽ[ü,ü!,è,ÓAîÿøCì&RNÓºŽ[ü,ü!,ü,üGîÿø`ÿLR…ºŽ[ü,ü!,È,üGîÿø$S k&
fV(RºŽ[ü,ü!,ë,üGîÿøºŽ[ü,ü1,Ì,ü,Æ,†ÿÿÿô(‹(T„Nv DºŽ[ü,ü!,ê,ÈGîÿø`œ&Q |NÓT¥ºŽ[ü,ü!,È,üGîÿø$jT(S k&fƺŽ[ü,üQ,Ê,É,Ë,Ì,ÈGîÿì(T T"h³üg
 j"G&QNÓ PºŽ[ü,ü!*k,í,üCîÿøºŽ[ü,ü1,Ì,ü,Æ,†ÿÿÿô(‰ºŽ[ü,ü!,Ð,èAîÿøºŽ[ü,ü1KúÁX,Í,È,ëCîÿô k(T„Nv DºŽ[ü,ü!*k,í,ÈGîÿø`ÿ.&Q |NÓX•Gêÿì$H I`®üXÕ&h(k¹üg:&SºŽ[ü,üQ,Ó,ë,ë,ë,ÐGîÿ캎[ü,ü!,Ë,üAîÿø&QNÓ&SºŽ[ü,üKú¤,ÍKú~,ÍKúL,Í,ê`,êd,Ë,ê ,ÉCîÿà&i&k,$k8&RAúNÓ[%GsetTycStamp: INDtyc [•&i$k "i&RAúNÓ[õ·setTycStamp\E&i&k,$k8Cé&R |NÓ\ÅCé i$i&RNÓ]&h·üg"&P&k&f S&QNÓ&j` k"G&QNÓ&PºŽ[ü,üKúœ,ÍKúv,ÍKúH,Í,êd,êh,Ë,ê¤,ÉCîÿà&i&k,$k8&RAúNÓ^õtycName: INDtyc _U&i$k "i&RAúNÓ_µwtycName_õ&i&k,$k8Cé&R |NÓ`uCé i$i&RNÓ`Å&h(k¹üg:&SºŽ[ü,üQ,Ó,ë,ë,Ð,ëGîÿ캎[ü,ü!,Ë,üAîÿø&QNÓ&SºŽ[ü,üKú¤,ÍKú~,ÍKúL,Í,êh,êl,Ë,ê¨,ÉCîÿà&i&k,$k8&RAúNÓc7setTycName: INDtyc c…&i$k "i&RAúNÓcå§setTycNamed5&i&k,$k8Cé&R |NÓdµCé i$i&RNÓe&h·üg&P S&QNÓ&PºŽ[ü,üKú¦,ÍKú€,ÍKúN,Í,êl,êp,Ë,ê¬,ÉCîÿà&i&k,$k8&RAúNÓf…7tyconArity: INDtyc fõ&i$k "i&RAúNÓgU§tyconArityg¥&i&k,$k8Cé&R |NÓh%Cé i$i&RNÓhu&I"H J$I`®b

root@smlnj-gforge.cs.uchicago.edu
ViewVC Help
Powered by ViewVC 1.0.0