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 403, Tue Aug 31 07:44:29 1999 UTC revision 404, Wed Sep 1 07:03:22 1999 UTC
# Line 210  Line 210 
210                  | SOME (g, gp) => f gp g                  | SOME (g, gp) => f gp g
211            end            end
212    
213              val listLibs = Parse.listLibs
214              fun dismissLib l = let
215                  val c = SrcPath.cwdContext ()
216                  val p = SrcPath.standard pcmode { context = c, spec = l }
217              in
218                  Parse.dismissLib p
219              end
220    
221            fun stabilize_runner gp g = true            fun stabilize_runner gp g = true
222    
223            fun stabilize recursively = run (SOME recursively) stabilize_runner            fun stabilize recursively = run (SOME recursively) stabilize_runner
# Line 359  Line 367 
367                                     cancelAnchor = cancelAnchor,                                     cancelAnchor = cancelAnchor,
368                                     resetPathConfig = resetPathConfig,                                     resetPathConfig = resetPathConfig,
369                                     synchronize = SrcPath.sync,                                     synchronize = SrcPath.sync,
370                                     showPending = showPending })                                     showPending = showPending,
371                                       listLibs = listLibs,
372                                       dismissLib = dismissLib })
373    
374                    end                    end
375            end            end

Legend:
Removed from v.403  
changed lines
  Added in v.404

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