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/main/cm-boot.sml
ViewVC logotype

Diff of /sml/trunk/src/cm/main/cm-boot.sml

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

revision 976, Wed Nov 14 14:54:03 2001 UTC revision 977, Wed Nov 14 16:53:16 2001 UTC
# Line 203  Line 203 
203            fun getTheValues () = valOf (!theValues)            fun getTheValues () = valOf (!theValues)
204                handle Option => raise Fail "CMBoot: theParam not initialized"                handle Option => raise Fail "CMBoot: theParam not initialized"
205    
206            fun param () = let            fun param () =
               val v = getTheValues ()  
           in  
207                { fnpolicy = fnpolicy,                { fnpolicy = fnpolicy,
208                  penv = penv,                  penv = penv,
209                  symval = SSV.symval,                  symval = SSV.symval,
210                  archos = my_archos,                  archos = my_archos,
211                  keep_going = #get StdConfig.keep_going () }                  keep_going = #get StdConfig.keep_going () }
           end  
212    
213            val init_group = #init_group o getTheValues            val init_group = #init_group o getTheValues
214    
# Line 307  Line 304 
304            val recomp = run mkStdSrcPath NONE recomp_runner            val recomp = run mkStdSrcPath NONE recomp_runner
305            val make = run mkStdSrcPath NONE (make_runner true)            val make = run mkStdSrcPath NONE (make_runner true)
306    
307            fun to_portable s =            fun to_portable s = let
308                  val gp = mkStdSrcPath s
309                  fun nativesrc s = let
310                      val p = SrcPath.standard
311                                  { err = fn s => raise Fail s, env = penv }
312                                  { context = SrcPath.dir gp, spec = s }
313                  in
314                      SrcPath.osstring' (SrcPath.file p)
315                  end
316                  fun mkres (g, pl) = { graph = g, imports = pl,
317                                        nativesrc = nativesrc }
318              in
319                Option.map                Option.map
320                    ToPortable.export                    (mkres o ToPortable.export)
321                    (Parse.parse (parse_arg                    (Parse.parse (parse_arg
322                                      (GroupReg.new (), NONE, mkStdSrcPath s)))                                      (GroupReg.new (), NONE, mkStdSrcPath s)))
323              end
324    
325            fun sources archos group = let            fun sources archos group = let
326                val policy =                val policy =

Legend:
Removed from v.976  
changed lines
  Added in v.977

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