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 878, Wed Jul 18 17:43:27 2001 UTC revision 879, Thu Jul 19 18:59:38 2001 UTC
# Line 7  Line 7 
7   * Author: Matthias Blume (blume@kurims.kyoto-u.ac.jp)   * Author: Matthias Blume (blume@kurims.kyoto-u.ac.jp)
8   *)   *)
9  local  local
10      structure EM = GenericVC.ErrorMsg      structure EM = ErrorMsg
11      structure E = GenericVC.Environment      structure E = Environment
12      structure SE = GenericVC.StaticEnv      structure SE = StaticEnv
13      structure PS = GenericVC.PersStamps      structure PS = PersStamps
14      structure GG = GroupGraph      structure GG = GroupGraph
15      structure DG = DependencyGraph      structure DG = DependencyGraph
16  in  in
17  functor BootstrapCompileFn  functor BootstrapCompileFn
18              (structure MachDepVC : MACHDEP_VC              (structure Backend : BACKEND
19               val useStream : TextIO.instream -> unit               val useStream : TextIO.instream -> unit
20               val os : SMLofNJ.SysInfo.os_kind               val os : SMLofNJ.SysInfo.os_kind
21               val load_plugin : SrcPath.dir -> string -> bool) =               val load_plugin : SrcPath.dir -> string -> bool) =
22  struct  struct
23      structure SSV = SpecificSymValFn (structure MachDepVC = MachDepVC      structure SSV = SpecificSymValFn (val arch = Backend.architecture
24                                        val os = os)                                        val os = os)
25      structure P = OS.Path      structure P = OS.Path
26      structure F = OS.FileSys      structure F = OS.FileSys
27      structure BF = MachDepVC.Binfile      structure BF = Binfile
28    
29      val arch = MachDepVC.architecture      val arch = Backend.architecture
30      val osname = FilenamePolicy.kind2name os      val osname = FilenamePolicy.kind2name os
31    
32      val archos = concat [arch, "-", osname]      val archos = concat [arch, "-", osname]
33    
34      structure StabModmap = StabModmapFn ()      structure StabModmap = StabModmapFn ()
35    
36      structure Compile = CompileFn (structure MachDepVC = MachDepVC      structure Compile = CompileFn (structure Backend = Backend
37                                     structure StabModmap = StabModmap                                     structure StabModmap = StabModmap
38                                     val useStream = useStream                                     val useStream = useStream
39                                     val compile_there =                                     val compile_there =
40                                         Servers.compile o SrcPath.encode)                                         Servers.compile o SrcPath.encode)
41    
42      structure BFC = BfcFn (structure MachDepVC = MachDepVC)      structure BFC = BfcFn (val arch = Backend.architecture)
43    
44      (* instantiate Stabilize... *)      (* instantiate Stabilize... *)
45      structure Stabilize =      structure Stabilize =
46          StabilizeFn (structure MachDepVC = MachDepVC          StabilizeFn (val arch = Backend.architecture
47                       structure StabModmap = StabModmap                       structure StabModmap = StabModmap
48                       fun recomp gp g = let                       fun recomp gp g = let
49                           val { store, get } = BFC.new ()                           val { store, get } = BFC.new ()
# Line 173  Line 173 
173              val { pervasive = perv_n, others, src } = arg              val { pervasive = perv_n, others, src } = arg
174    
175              fun recompInitGroup () = let              fun recompInitGroup () = let
176                  val ovldR = GenericVC.Control.overloadKW                  val ovldR = Control.overloadKW
177                  val savedOvld = !ovldR                  val savedOvld = !ovldR
178                  val _ = ovldR := true                  val _ = ovldR := true
179                  val sbnode = Compile.newSbnodeTraversal ()                  val sbnode = Compile.newSbnodeTraversal ()

Legend:
Removed from v.878  
changed lines
  Added in v.879

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