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/branches/SMLNJ/src/system/IntSys/boot-env-fn.sml
ViewVC logotype

Diff of /sml/branches/SMLNJ/src/system/IntSys/boot-env-fn.sml

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

revision 497, Tue Dec 7 15:44:50 1999 UTC revision 498, Tue Dec 7 15:44:50 1999 UTC
# Line 7  Line 7 
7   *       (M. Blume, 7/1999)   *       (M. Blume, 7/1999)
8   *)   *)
9  signature BOOTENV = sig  signature BOOTENV = sig
10      val init: unit -> string      val init: unit -> { heapfile: string, procCmdLine: (unit -> unit) option }
11  end  end
12    
13  functor BootEnvF (datatype envrequest = AUTOLOAD | BARE  functor BootEnvF (datatype envrequest = AUTOLOAD | BARE
14                    val architecture: string                    val architecture: string
15                    val cminit : string * DynamicEnv.dynenv * envrequest -> unit                    val cminit : string * DynamicEnv.dynenv * envrequest ->
16                                   (unit -> unit) option
17                    val cmbmake: string -> unit) :> BOOTENV = struct                    val cmbmake: string -> unit) :> BOOTENV = struct
18    
19      exception BootFailure      exception BootFailure
# Line 83  Line 84 
84          val newbindir = Option.map OS.Path.mkCanonical newbindir          val newbindir = Option.map OS.Path.mkCanonical newbindir
85      in      in
86          case newbindir of          case newbindir of
87              NONE => (initialize (bootdir, er); heapfile)              NONE => let
88                    val procCmdLine = initialize (bootdir, er)
89                in
90                    { heapfile = heapfile, procCmdLine = procCmdLine }
91                end
92            | SOME nbd =>            | SOME nbd =>
93                  if nbd = bootdir then                  if nbd = bootdir then
94                      die "@SMLboot= and @SMLrebuild= name the same directory\n"                      die "@SMLboot= and @SMLrebuild= name the same directory\n"

Legend:
Removed from v.497  
changed lines
  Added in v.498

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