SCM Repository
Diff of /sml/trunk/src/cm/semant/primitive.sml
Parent Directory
| 
Revision Log
| 
Patch
| revision 307, Tue Jun 1 09:38:28 1999 UTC | revision 308, Wed Jun 2 01:26:19 1999 UTC | |
|---|---|---|
| # | Line 88 | Line 88 |
| 88 | foldl addModule SymbolSet.empty l | foldl addModule SymbolSet.empty l |
| 89 | end | end |
| 90 | ||
| 91 | fun cvt_fctenv { symbols, look } = | fun cvt_fctenv look = cvt_result o look |
| { looker = cvt_result o look, domain = l2s o symbols } | ||
| 92 | ||
| 93 | and cvt_result (BE.CM_ENV cme) = SOME (DE.FCTENV (cvt_fctenv cme)) | and cvt_result (BE.CM_ENV cme) = |
| 94 | SOME (DE.FCTENV (cvt_fctenv (#look cme))) | |
| 95 | | cvt_result BE.CM_NONE = NONE | | cvt_result BE.CM_NONE = NONE |
| 96 | ||
| 97 | val sb = BE.staticPart (GenericVC.CoerceEnv.e2b e) | val sb = BE.staticPart (GenericVC.CoerceEnv.e2b e) |
| 98 | val looker = cvt_fctenv (BE.cmEnvOfModule sb) | |
| val { domain, looker } = | ||
| cvt_fctenv { symbols = fn () => BE.catalogEnv sb, | ||
| look = BE.cmEnvOfModule sb } | ||
| 99 | in | in |
| 100 | { exports = domain (), lookup = valOf o looker, env = e } | { exports = l2s (BE.catalogEnv sb), |
| 101 | lookup = valOf o looker, | |
| 102 | env = e } | |
| 103 | end | end |
| 104 | ||
| 105 | val basis_pinfo = gen_pinfo basis | val basis_pinfo = gen_pinfo basis |
|
||||||||
| root@smlnj-gforge.cs.uchicago.edu | ViewVC Help |
| Powered by ViewVC 1.0.0 |
