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 400, Thu Aug 26 16:23:37 1999 UTC revision 403, Tue Aug 31 07:44:29 1999 UTC
# Line 25  Line 25 
25                                        val os = os)                                        val os = os)
26      structure P = OS.Path      structure P = OS.Path
27      structure F = OS.FileSys      structure F = OS.FileSys
28        structure BF = MachDepVC.Binfile
29    
30      structure Compile = CompileFn (structure MachDepVC = MachDepVC)      structure Compile = CompileFn (structure MachDepVC = MachDepVC)
31    
32        structure BFC = BfcFn (structure MachDepVC = MachDepVC)
33    
34      (* instantiate Stabilize... *)      (* instantiate Stabilize... *)
35      structure Stabilize =      structure Stabilize =
36          StabilizeFn (val writeBFC = Compile.writeBFC          StabilizeFn (fun destroy_state _ _ = ()
37                       val sizeBFC = Compile.sizeBFC                       structure MachDepVC = MachDepVC
                      val getII = Compile.getII  
                      fun destroy_state _ _ = ()  
38                       fun recomp gp g = let                       fun recomp gp g = let
39                             val { store, get } = BFC.new ()
40                           val { group, ... } =                           val { group, ... } =
41                               Compile.newTraversal (fn _ => fn _ => (), g)                               Compile.newTraversal (fn _ => fn _ => (),
42                                                       store, g)
43                       in                       in
44                           isSome (group gp)                           case group gp of
45                       end)                               NONE => NONE
46                               | SOME _ => SOME get
47                         end
48                         val getII = Compile.getII)
49    
50      (* ... and Parse *)      (* ... and Parse *)
51      structure Parse = ParseFn (structure Stabilize = Stabilize      structure Parse = ParseFn (structure Stabilize = Stabilize
# Line 229  Line 235 
235              case Parse.parse NONE param stab maingspec of              case Parse.parse NONE param stab maingspec of
236                  NONE => false                  NONE => false
237                | SOME (g, gp) => let                | SOME (g, gp) => let
238                        fun store _ = ()
239                      val { group = recomp, ... } =                      val { group = recomp, ... } =
240                          Compile.newTraversal (fn _ => fn _ => (), g)                          Compile.newTraversal (fn _ => fn _ => (), store, g)
241                  in                  in
242                      if isSome (recomp gp) then let                      if isSome (recomp gp) then let
243                          val rtspid = PS.toHex (#statpid (#ii rts))                          val rtspid = PS.toHex (#statpid (#ii rts))

Legend:
Removed from v.400  
changed lines
  Added in v.403

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