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 770, Sun Dec 24 20:06:28 2000 UTC revision 771, Sat Dec 30 13:06:09 2000 UTC
# Line 185  Line 185 
185    
186                  val perv_fsbnode = (NONE, perv_n)                  val perv_fsbnode = (NONE, perv_n)
187    
188                  fun rt n = valOf (sbnode ginfo n)                  fun rt n = valOf (sbnode n ginfo)
189                  val pervasive = rt perv_n                  val pervasive = rt perv_n
190    
191                  fun rt2ie (n, ii: IInfo.info) = let                  fun rt2ie (n, ii: IInfo.info) = let
# Line 239  Line 239 
239              (* Don't try to load the stable init group. Instead, recompile              (* Don't try to load the stable init group. Instead, recompile
240               * directly. *)               * directly. *)
241              fun dontLoadInitGroup () = let              fun dontLoadInitGroup () = let
242                  val g0 = recompInitGroup ()                  (* Function recompileInitGroup will not use servers (hence no
243                     * call to Servers.withServers), but since compile traversals
244                     * invoke the scheduler anyway, we must still clear pending
245                     * tasks when we hit an error or an interrupt. *)
246                    val g0 = SafeIO.perform { openIt = fn () => (),
247                                              closeIt = fn () => (),
248                                              work = recompInitGroup,
249                                              cleanup = Servers.reset }
250                  val stabarg = { group = g0, anyerrors = ref false,                  val stabarg = { group = g0, anyerrors = ref false,
251                                  rebindings = [] }                                  rebindings = [] }
252              in              in
# Line 388  Line 395 
395                                dirbase = SOME dirbase, paranoid = false } of                                dirbase = SOME dirbase, paranoid = false } of
396                  NONE => NONE                  NONE => NONE
397                | SOME ((g, gp, penv), _) => let                | SOME ((g, gp, penv), _) => let
398                      val trav = Compile.newSbnodeTraversal () gp                      val trav = Compile.newSbnodeTraversal ()
399                      fun trav' sbn = isSome (trav sbn)                      fun trav' sbn = isSome (trav sbn gp)
400                  in                  in
401                      SOME (g, trav', penv)                      SOME (g, trav', penv)
402                  end                  end

Legend:
Removed from v.770  
changed lines
  Added in v.771

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