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 460, Wed Nov 3 02:23:44 1999 UTC revision 461, Thu Nov 4 08:06:56 1999 UTC
# Line 192  Line 192 
192              (* here we build a new gp -- the one that uses the freshly              (* here we build a new gp -- the one that uses the freshly
193               * brewed pervasive env, core env, and primitives *)               * brewed pervasive env, core env, and primitives *)
194              val core = valOf (sbnode ginfo_nocore core)              val core = valOf (sbnode ginfo_nocore core)
195              val corenv =  CoerceEnv.es2bs (#statenv core ())              val corenv =  CoerceEnv.es2bs (#env (#statenv core ()))
196              val core_sym = #symenv core ()              val core_sym = #symenv core ()
197    
198              (* 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):
# Line 209  Line 209 
209    
210              fun sn2pspec (name, n) = let              fun sn2pspec (name, n) = let
211                  val { statenv, symenv, statpid, sympid } = rt n                  val { statenv, symenv, statpid, sympid } = rt n
212                    val { env = static, ctxt } = statenv ()
213                  val env =                  val env =
214                      E.mkenv { static = statenv (),                      E.mkenv { static = static,
215                                symbolic = symenv (),                                symbolic = symenv (),
216                                dynamic = emptydyn }                                dynamic = emptydyn }
217                  val pidInfo = { statpid = statpid, sympid = sympid }                  val pidInfo =
218                        { statpid = statpid, sympid = sympid, ctxt = ctxt }
219              in              in
220                  { name = name, env = env, pidInfo = pidInfo }                  { name = name, env = env, pidInfo = pidInfo }
221              end              end
# Line 230  Line 232 
232    
233              val param =              val param =
234                  mkParam { primconf = Primitive.configuration pspecs,                  mkParam { primconf = Primitive.configuration pspecs,
235                            pervasive = E.mkenv { static = #statenv pervasive (),                            pervasive =
236                              E.mkenv { static = #env (#statenv pervasive ()),
237                                                  symbolic = perv_sym,                                                  symbolic = perv_sym,
238                                                  dynamic = emptydyn },                                                  dynamic = emptydyn },
239                            pervcorepids =                            pervcorepids =

Legend:
Removed from v.460  
changed lines
  Added in v.461

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