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 376, Wed Jul 7 04:25:11 1999 UTC revision 377, Wed Jul 7 06:55:18 1999 UTC
# Line 129  Line 129 
129            val theValues = ref (NONE: kernelValues option)            val theValues = ref (NONE: kernelValues option)
130    
131        in        in
132            fun setAnchor (a, s) = PathConfig.set (pcmode, a, s)            fun setAnchor (a, s) =
133                  (PathConfig.set (pcmode, a, s); SrcPath.sync ())
134              (* cancelling anchors cannot affect the order of existing paths
135               * (it may invalidate some paths; but all other ones stay as
136               * they are) *)
137            fun cancelAnchor a = PathConfig.cancel (pcmode, a)            fun cancelAnchor a = PathConfig.cancel (pcmode, a)
138              (* same goes for reset because it just cancels all anchors... *)
139            fun resetPathConfig () = PathConfig.reset pcmode            fun resetPathConfig () = PathConfig.reset pcmode
140    
141            fun showPending () = let            fun showPending () = let

Legend:
Removed from v.376  
changed lines
  Added in v.377

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