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

Diff of /sml/branches/primop-branch/src/cm/main/cm-boot.sml

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

revision 1470, Mon Mar 29 22:45:55 2004 UTC revision 1471, Mon Mar 29 22:45:55 2004 UTC
# Line 204  Line 204 
204            end            end
205    
206            fun getTheValues () = valOf (!theValues)            fun getTheValues () = valOf (!theValues)
207                handle Option => raise Fail "CMBoot: theParam not initialized"                handle Option => raise Fail "CMBoot: theValues not initialized"
208    
209            fun param slave_mode =            fun param slave_mode =
210                { fnpolicy = fnpolicy,                { fnpolicy = fnpolicy,
# Line 479  Line 479 
479                                errcons = EM.defaultConsumer (),                                errcons = EM.defaultConsumer (),
480                                youngest = ref TStamp.ancient }                                youngest = ref TStamp.ancient }
481    
482            val al_manager =            val al_managers =
483                AutoLoad.mkManager { get_ginfo = al_ginfo,                AutoLoad.mkManagers { get_ginfo = al_ginfo,
484                                     dropPickles = dropPickles }                                     dropPickles = dropPickles }
485    
486            fun reset () =            fun reset () =
# Line 632  Line 632 
632                                 system_values := SrcPathMap.empty;                                 system_values := SrcPathMap.empty;
633                                 NONE)                                 NONE)
634                          | AUTOLOAD =>                          | AUTOLOAD =>
635                                (icm al_manager;                                (icm al_managers;
636                                 standard_preload BtNames.standard_preloads;                                 standard_preload BtNames.standard_preloads;
637                                 (* unconditionally drop all library pickles *)                                 (* unconditionally drop all library pickles *)
638                                 Parse.dropPickles ();                                 Parse.dropPickles ();
# Line 869  Line 869 
869          structure Graph = struct          structure Graph = struct
870              val graph = to_portable              val graph = to_portable
871          end          end
872    
873            val cm_dir_arc = FilenamePolicy.cm_dir_arc
874      end      end
875    
876      structure Tools = ToolsFn (val load_plugin' = load_plugin'      structure Tools = ToolsFn (val load_plugin' = load_plugin'

Legend:
Removed from v.1470  
changed lines
  Added in v.1471

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