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

SCM Repository

[smlnj] Diff of /sml/trunk/src/cm/semant/primitive.sml
ViewVC logotype

Diff of /sml/trunk/src/cm/semant/primitive.sml

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 304, Mon May 31 09:10:08 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

Legend:
Removed from v.304  
changed lines
  Added in v.308

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