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 506, Fri Dec 10 00:15:35 1999 UTC revision 507, Fri Dec 10 09:18:23 1999 UTC
# Line 194  Line 194 
194                  pervcorepids = #pervcorepids v }                  pervcorepids = #pervcorepids v }
195            end            end
196    
197              fun dropPickles () =
198                  if #get StdConfig.conserve_memory () then
199                      Parse.dropPickles ()
200                  else ()
201    
202            fun autoload s = let            fun autoload s = let
203                val c = SrcPath.cwdContext ()                val c = SrcPath.cwdContext ()
204                val p = SrcPath.standard pcmode { context = c, spec = s }                val p = SrcPath.standard pcmode { context = c, spec = s }
# Line 203  Line 208 
208                   | SOME (g, _) =>                   | SOME (g, _) =>
209                         (AutoLoad.register (GenericVC.EnvRef.topLevel, g);                         (AutoLoad.register (GenericVC.EnvRef.topLevel, g);
210                          true))                          true))
211                before Parse.dropPickles ()                before dropPickles ()
212            end            end
213    
214            fun al_ginfo () = { param = param (),            fun al_ginfo () = { param = param (),
# Line 212  Line 217 
217    
218            val al_manager =            val al_manager =
219                AutoLoad.mkManager { get_ginfo = al_ginfo,                AutoLoad.mkManager { get_ginfo = al_ginfo,
220                                     dropPickles = Parse.dropPickles }                                     dropPickles = dropPickles }
221    
222            fun al_manager' (ast, _, ter) = al_manager (ast, ter)            fun al_manager' (ast, _, ter) = al_manager (ast, ter)
223    
# Line 223  Line 228 
228                (case Parse.parse NONE (param ()) sflag p of                (case Parse.parse NONE (param ()) sflag p of
229                     NONE => false                     NONE => false
230                   | SOME (g, gp) => f gp g)                   | SOME (g, gp) => f gp g)
231                before Parse.dropPickles ()                before dropPickles ()
232            end            end
233    
234            fun stabilize_runner gp g = true            fun stabilize_runner gp g = true
# Line 377  Line 382 
382                                     recomp = recomp,                                     recomp = recomp,
383                                     make = make,                                     make = make,
384                                     autoload = autoload };                                     autoload = autoload };
385                                   (* unconditionally drop all library pickles *)
386                                   Parse.dropPickles ();
387                                 SOME (autoload_postprocess ()))                                 SOME (autoload_postprocess ()))
388                    end                    end
389            end            end

Legend:
Removed from v.506  
changed lines
  Added in v.507

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