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/main/cm-boot.sml
ViewVC logotype

Diff of /sml/trunk/src/cm/main/cm-boot.sml

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

revision 588, Fri Mar 31 09:00:02 2000 UTC revision 592, Mon Apr 3 07:04:12 2000 UTC
# Line 141  Line 141 
141                                   val pending = AutoLoad.getPending)                                   val pending = AutoLoad.getPending)
142    
143        local        local
144            type kernelValues =            type kernelValues = { init_group : GG.group }
                { corenv : E.environment, init_group : GG.group }  
145    
146            val fnpolicy = FilenamePolicy.colocate            val fnpolicy = FilenamePolicy.colocate
147                { os = os, arch = HostMachDepVC.architecture }                { os = os, arch = HostMachDepVC.architecture }
# Line 200  Line 199 
199                { fnpolicy = fnpolicy,                { fnpolicy = fnpolicy,
200                  pcmode = pcmode,                  pcmode = pcmode,
201                  symval = SSV.symval,                  symval = SSV.symval,
202                  keep_going = #get StdConfig.keep_going (),                  keep_going = #get StdConfig.keep_going () }
                 corenv = #corenv v }  
203            end            end
204    
205            val init_group = #init_group o getTheValues            val init_group = #init_group o getTheValues
# Line 364  Line 362 
362                val ginfo = { param = { fnpolicy = fnpolicy,                val ginfo = { param = { fnpolicy = fnpolicy,
363                                        pcmode = pcmode,                                        pcmode = pcmode,
364                                        symval = SSV.symval,                                        symval = SSV.symval,
365                                        keep_going = false,                                        keep_going = false },
                                       corenv = E.emptyEnv },  
366                              groupreg = GroupReg.new (),                              groupreg = GroupReg.new (),
367                              errcons = EM.defaultConsumer () }                              errcons = EM.defaultConsumer () }
368                fun loadInitGroup () =                fun loadInitGroup () =
# Line 392  Line 389 
389                                NONE => raise Fail "init: bogus init group (1)"                                NONE => raise Fail "init: bogus init group (1)"
390                              | SOME tr => tr                              | SOME tr => tr
391    
392                        val core_ct = getSymTrav (ctm, PervCoreAccess.coreStrSym)                        val perv_ct = getSymTrav (ctm, PervAccess.pervStrSym)
393                        val core_lt = getSymTrav (ltm, PervCoreAccess.coreStrSym)                        val perv_lt = getSymTrav (ltm, PervAccess.pervStrSym)
                       val perv_ct = getSymTrav (ctm, PervCoreAccess.pervStrSym)  
                       val perv_lt = getSymTrav (ltm, PervCoreAccess.pervStrSym)  
394    
395                        fun doTrav t =                        fun doTrav t =
396                            case t ginfo of                            case t ginfo of
397                                SOME r => r                                SOME r => r
398                              | NONE => raise Fail "init: bogus init group (2)"                              | NONE => raise Fail "init: bogus init group (2)"
399    
                       val { stat = corestat, sym = coresym } = doTrav core_ct  
                       val coredyn = doTrav core_lt  
400                        val { stat = pervstat, sym = pervsym } = doTrav perv_ct                        val { stat = pervstat, sym = pervsym } = doTrav perv_ct
401                        val pervdyn = doTrav perv_lt                        val pervdyn = doTrav perv_lt
402    
                       val corenv =  
                           E.mkenv { static = corestat,  
                                     symbolic = coresym,  
                                     dynamic = coredyn }  
                       val core_symdyn =  
                           E.mkenv { static = E.staticPart E.emptyEnv,  
                                     dynamic = coredyn, symbolic = coresym }  
   
403                        val pervasive = E.mkenv { static = pervstat,                        val pervasive = E.mkenv { static = pervstat,
404                                                  symbolic = pervsym,                                                  symbolic = pervsym,
405                                                  dynamic = pervdyn }                                                  dynamic = pervdyn }
# Line 430  Line 415 
415                        val standard_preload =                        val standard_preload =
416                            Preload.preload { make = make, autoload = autoload }                            Preload.preload { make = make, autoload = autoload }
417                    in                    in
418                        #set ER.core (E.staticPart corenv);                        #set ER.pervasive pervasive;
                       #set ER.pervasive (E.layerEnv (pervasive, core_symdyn));  
419                        #set ER.topLevel E.emptyEnv;                        #set ER.topLevel E.emptyEnv;
420                        theValues := SOME { corenv = corenv,                        theValues := SOME { init_group = init_group };
                                           init_group = init_group };  
421                        case er of                        case er of
422                            BARE =>                            BARE =>
423                                (bare_preload BtNames.bare_preloads;                                (bare_preload BtNames.bare_preloads;

Legend:
Removed from v.588  
changed lines
  Added in v.592

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