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 569, Tue Mar 7 04:01:07 2000 UTC revision 578, Tue Mar 14 05:16:29 2000 UTC
# Line 225  Line 225 
225                before dropPickles ()                before dropPickles ()
226            end            end
227    
228            and run sflag f s = let            and run mkSrcPath sflag f s = let
229                val p = mkStdSrcPath s                val p = mkSrcPath s
230                val gr = GroupReg.new ()                val gr = GroupReg.new ()
231            in            in
232                (case Parse.parse (parse_arg (gr, sflag, p)) of                (case Parse.parse (parse_arg (gr, sflag, p)) of
# Line 235  Line 235 
235                before dropPickles ()                before dropPickles ()
236            end            end
237    
238            and load_plugin x = let            and load_plugin context x = let
239                val _ = Say.vsay ["[attempting to load plugin ", x, "]\n"]                val _ = Say.vsay ["[attempting to load plugin ", x, "]\n"]
240                  fun mkSrcPath s =
241                      SrcPath.standard pcmode { context = context, spec = s }
242                val success =                val success =
243                    run NONE (make_runner false) x handle _ => false                    run mkSrcPath NONE (make_runner false) x handle _ => false
244            in            in
245                if success then                if success then
246                    Say.vsay ["[plugin ", x, " loaded successfully]\n"]                    Say.vsay ["[plugin ", x, " loaded successfully]\n"]
# Line 247  Line 249 
249                success                success
250            end            end
251    
252              fun cwd_load_plugin x = load_plugin (SrcPath.cwdContext ()) x
253    
254            fun stabilize_runner gp g = true            fun stabilize_runner gp g = true
255    
256            fun stabilize recursively = run (SOME recursively) stabilize_runner            fun stabilize recursively =
257            val recomp = run NONE recomp_runner                run mkStdSrcPath (SOME recursively) stabilize_runner
258            val make = run NONE (make_runner true)            val recomp = run mkStdSrcPath NONE recomp_runner
259              val make = run mkStdSrcPath NONE (make_runner true)
260    
261            (* I would have liked to express this using "run", but "run"            (* I would have liked to express this using "run", but "run"
262             * thinks it has to return a bool... *)             * thinks it has to return a bool... *)
# Line 519  Line 524 
524          val stabilize = stabilize          val stabilize = stabilize
525    
526          val symval = SSV.symval          val symval = SSV.symval
527          val load_plugin = load_plugin          val load_plugin = cwd_load_plugin
528          val mk_standalone = mk_standalone          val mk_standalone = mk_standalone
529      end      end
530    
531      structure Tools = ToolsFn (val load_plugin = load_plugin      structure Tools = ToolsFn (val load_plugin = cwd_load_plugin
532                                 val mkStdSrcPath = mkStdSrcPath)                                 val mkStdSrcPath = mkStdSrcPath)
533    
534        val load_plugin = load_plugin
535    end    end
536  end  end

Legend:
Removed from v.569  
changed lines
  Added in v.578

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