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
[smlnj] / 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 504, Tue Dec 7 18:31:05 1999 UTC revision 505, Thu Dec 9 08:24:08 1999 UTC
# Line 198  Line 198 
198                val c = SrcPath.cwdContext ()                val c = SrcPath.cwdContext ()
199                val p = SrcPath.standard pcmode { context = c, spec = s }                val p = SrcPath.standard pcmode { context = c, spec = s }
200            in            in
201                case Parse.parse (SOME al_greg) (param ()) NONE p of                (case Parse.parse (SOME al_greg) (param ()) NONE p of
202                    NONE => false                    NONE => false
203                  | SOME (g, _) =>                  | SOME (g, _) =>
204                        (AutoLoad.register (GenericVC.EnvRef.topLevel, g);                        (AutoLoad.register (GenericVC.EnvRef.topLevel, g);
205                         true)                          true))
206                  before Parse.dropPickles ()
207            end            end
208    
209            fun al_ginfo () = { param = param (),            fun al_ginfo () = { param = param (),
210                                groupreg = al_greg,                                groupreg = al_greg,
211                                errcons = EM.defaultConsumer () }                                errcons = EM.defaultConsumer () }
212    
213            val al_manager = AutoLoad.mkManager al_ginfo            val al_manager =
214                  AutoLoad.mkManager { get_ginfo = al_ginfo,
215                                       dropPickles = Parse.dropPickles }
216    
217            fun al_manager' (ast, _, ter) = al_manager (ast, ter)            fun al_manager' (ast, _, ter) = al_manager (ast, ter)
218    
# Line 217  Line 220 
220                val c = SrcPath.cwdContext ()                val c = SrcPath.cwdContext ()
221                val p = SrcPath.standard pcmode { context = c, spec = s }                val p = SrcPath.standard pcmode { context = c, spec = s }
222            in            in
223                case Parse.parse NONE (param ()) sflag p of                (case Parse.parse NONE (param ()) sflag p of
224                    NONE => false                    NONE => false
225                  | SOME (g, gp) => f gp g                   | SOME (g, gp) => f gp g)
226                  before Parse.dropPickles ()
227            end            end
228    
229            fun stabilize_runner gp g = true            fun stabilize_runner gp g = true
# Line 419  Line 423 
423              val parse_caching = StdConfig.parse_caching              val parse_caching = StdConfig.parse_caching
424              val warn_obsolete = StdConfig.warn_obsolete              val warn_obsolete = StdConfig.warn_obsolete
425              val debug = StdConfig.debug              val debug = StdConfig.debug
426                val conserve_memory = StdConfig.conserve_memory
427          end          end
428    
429          structure Library = struct          structure Library = struct
Legend:
Removed from v.504  
changed lines
  Added in v.505
root@smlnj-gforge.cs.uchicago.edu
 ViewVC Help
Powered by ViewVC 1.0.0  
Powered By FusionForge