SCM Repository
Diff of /sml/trunk/src/compiler/FLINT/kernel/ltyextern.sml
Parent Directory
| 
Revision Log
| 
Patch
| revision 64, Tue Mar 31 05:26:51 1998 UTC | revision 65, Wed Apr 1 20:57:44 1998 UTC | |
|---|---|---|
| # | Line 133 | Line 133 |
| 133 | val newDict : unit -> dict = ref o TcDict.mkDict | val newDict : unit -> dict = ref o TcDict.mkDict |
| 134 | ||
| 135 | fun recallOrCompute (dict, kenv, tyc, doit) = | fun recallOrCompute (dict, kenv, tyc, doit) = |
| 136 | (* what are the free vars of this tyc? *) | (* what are the valuations of tyc's free variables |
| 137 | * in kenv? *) | |
| 138 | (* (might not be available for some tycs) *) | (* (might not be available for some tycs) *) |
| 139 | case LK.tc_freevars tyc of | case LK.tkLookupFreeVars (kenv, tyc) of |
| 140 | SOME fvs => let | SOME ks_fvs => let |
| (* get valuations of tyc's free variables in kenv *) | ||
| val ks_fvs = tkLookupFreeVars (kenv, fvs) | ||
| 141 | (* encode those as a kind sequence *) | (* encode those as a kind sequence *) |
| 142 | val k_fvs = tkc_seq ks_fvs | val k_fvs = tkc_seq ks_fvs |
| 143 | (* query the dictionary *) | (* query the dictionary *) |
|
||||||||
| root@smlnj-gforge.cs.uchicago.edu | ViewVC Help |
| Powered by ViewVC 1.0.0 |
