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 375, Wed Jul 7 03:08:04 1999 UTC revision 379, Thu Jul 8 02:12:11 1999 UTC
# Line 65  Line 65 
65            handle Option => raise Fail "bn2statenv"            handle Option => raise Fail "bn2statenv"
66    
67        (* exec_group is basically the same as ET.group with        (* exec_group is basically the same as ET.group with
68         * two additional actions to be taken:         * one additional actions to be taken:
69         *   1. Before executing the code, we announce the priviliges         *      Before executing the code, we announce the priviliges
70         *      that are being invoked.  (For the time being, we assume         *      that are being invoked.  (For the time being, we assume
71         *      that everybody has every conceivable privilege, but at the         *      that everybody has every conceivable privilege, but at the
72         *      very least we announce which ones are being made use of.)         *      very least we announce which ones are being made use of.) *)
        *   2. After we are done we must make the values of "shared"  
        *      compilation units permanent. *)  
73        fun exec_group gp (g as GroupGraph.GROUP { required = rq, ... }) =        fun exec_group gp (g as GroupGraph.GROUP { required = rq, ... }) =
74            (if StringSet.isEmpty rq then ()            (if StringSet.isEmpty rq then ()
75             else Say.say ("$Execute: required privileges are:\n" ::             else Say.say ("$Execute: required privileges are:\n" ::
# Line 129  Line 127 
127            val theValues = ref (NONE: kernelValues option)            val theValues = ref (NONE: kernelValues option)
128    
129        in        in
130            fun setAnchor (a, s) = PathConfig.set (pcmode, a, s)            fun setAnchor (a, s) =
131                  (PathConfig.set (pcmode, a, s); SrcPath.sync ())
132              (* cancelling anchors cannot affect the order of existing paths
133               * (it may invalidate some paths; but all other ones stay as
134               * they are) *)
135            fun cancelAnchor a = PathConfig.cancel (pcmode, a)            fun cancelAnchor a = PathConfig.cancel (pcmode, a)
136              (* same goes for reset because it just cancels all anchors... *)
137            fun resetPathConfig () = PathConfig.reset pcmode            fun resetPathConfig () = PathConfig.reset pcmode
138    
139            fun showPending () = let            fun showPending () = let

Legend:
Removed from v.375  
changed lines
  Added in v.379

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