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/bootstrap/btcompile.sml
ViewVC logotype

Diff of /sml/trunk/src/cm/bootstrap/btcompile.sml

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

revision 355, Sat Jun 26 13:17:30 1999 UTC revision 356, Sun Jun 27 11:51:16 1999 UTC
# Line 131  Line 131 
131               * brewed pervasive env, core env, and primitives *)               * brewed pervasive env, core env, and primitives *)
132              val core = valOf (RT.snode ginfo_nocore core)              val core = valOf (RT.snode ginfo_nocore core)
133              val corenv =  CoerceEnv.es2bs (#1 (#stat core))              val corenv =  CoerceEnv.es2bs (#1 (#stat core))
134                val core_sym = #1 (#sym core)
135    
136              (* The following is a bit of a hack (but corenv is a hack anyway):              (* The following is a bit of a hack (but corenv is a hack anyway):
137               * As soon as we have core available, we have to patch the               * As soon as we have core available, we have to patch the
# Line 157  Line 158 
158    
159              val _ = ovldR := savedOvld              val _ = ovldR := savedOvld
160    
161                (* This is a hack but must be done for both the symbolic
162                 * and later the dynamic part of the core environment:
163                 * we must include these parts in the pervasive env. *)
164                val perv_sym = E.layerSymbolic (#1 (#sym pervasive), core_sym)
165    
166              val param =              val param =
167                  mkParam { primconf = Primitive.configuration pspecs,                  mkParam { primconf = Primitive.configuration pspecs,
168                            pervasive = E.mkenv { static = #1 (#stat pervasive),                            pervasive = E.mkenv { static = #1 (#stat pervasive),
169                                                  symbolic = #1 (#sym pervasive),                                                  symbolic = perv_sym,
170                                                  dynamic = emptydyn },                                                  dynamic = emptydyn },
171                            pervcorepids =                            pervcorepids =
172                              PidSet.addList (PidSet.empty,                              PidSet.addList (PidSet.empty,

Legend:
Removed from v.355  
changed lines
  Added in v.356

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