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 524, Thu Jan 13 03:04:06 2000 UTC revision 525, Thu Jan 13 05:59:40 2000 UTC
# Line 157  Line 157 
157            (* same goes for reset because it just cancels all anchors... *)            (* same goes for reset because it just cancels all anchors... *)
158            fun resetPathConfig () = PathConfig.reset pcmode            fun resetPathConfig () = PathConfig.reset pcmode
159    
160              fun mkStdSrcPath s =
161                  SrcPath.standard pcmode { context = SrcPath.cwdContext (),
162                                            spec = s }
163    
164            fun getPending () = let            fun getPending () = let
165                fun one (s, _) = let                fun one (s, _) = let
166                    val nss = Symbol.nameSpaceToString (Symbol.nameSpace s)                    val nss = Symbol.nameSpaceToString (Symbol.nameSpace s)
# Line 201  Line 205 
205                else ()                else ()
206    
207            fun autoload s = let            fun autoload s = let
208                val c = SrcPath.cwdContext ()                val p = mkStdSrcPath s
               val p = SrcPath.standard pcmode { context = c, spec = s }  
209            in            in
210                (case Parse.parse load_plugin (SOME al_greg) (param ()) NONE p of                (case Parse.parse load_plugin (SOME al_greg) (param ()) NONE p of
211                     NONE => false                     NONE => false
# Line 213  Line 216 
216            end            end
217    
218            and run sflag f s = let            and run sflag f s = let
219                val c = SrcPath.cwdContext ()                val p = mkStdSrcPath s
               val p = SrcPath.standard pcmode { context = c, spec = s }  
220            in            in
221                (case Parse.parse load_plugin NONE (param ()) sflag p of                (case Parse.parse load_plugin NONE (param ()) sflag p of
222                     NONE => false                     NONE => false
# Line 293  Line 295 
295                in                in
296                    app (fn (x, d) => PathConfig.set (pcmode, x, d)) pairList                    app (fn (x, d) => PathConfig.set (pcmode, x, d)) pairList
297                end                end
298                val initgspec =                val initgspec = mkStdSrcPath BtNames.initgspec
                   SrcPath.standard pcmode { context = SrcPath.cwdContext (),  
                                             spec = BtNames.initgspec }  
299                val ginfo = { param = { primconf = Primitive.primEnvConf,                val ginfo = { param = { primconf = Primitive.primEnvConf,
300                                        fnpolicy = fnpolicy,                                        fnpolicy = fnpolicy,
301                                        pcmode = pcmode,                                        pcmode = pcmode,
# Line 480  Line 480 
480          val symval = SSV.symval          val symval = SSV.symval
481          val load_plugin = load_plugin          val load_plugin = load_plugin
482      end      end
483    
484        structure Tools = ToolsFn (val load_plugin = load_plugin
485                                   val mkStdSrcPath = mkStdSrcPath)
486    end    end
487  end  end

Legend:
Removed from v.524  
changed lines
  Added in v.525

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