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/link.sml
ViewVC logotype

Diff of /sml/trunk/src/cm/link.sml

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

revision 311, Wed Jun 2 09:08:48 1999 UTC revision 312, Wed Jun 2 23:20:17 1999 UTC
# Line 54  Line 54 
54        fun exec_group arg =        fun exec_group arg =
55            (doall ExecTraversal.farsbnode arg)            (doall ExecTraversal.farsbnode arg)
56            before FullPersstate.rememberShared ()            before FullPersstate.rememberShared ()
57        fun make_group arg =        fun make_group (arg as (GroupGraph.GROUP { required = rq, ... }, _)) =
58            (if recomp_group arg then exec_group arg else false)            (Say.say ("$Execute: required privileges are:\n" ::
59                        map (fn s => ("  " ^ s ^ "\n")) (StringSet.listItems rq));
60               if recomp_group arg then exec_group arg else false)
61    
62        structure Stabilize =  StabilizeFn (val bn2statenv = bn2statenv        structure Stabilize =  StabilizeFn (val bn2statenv = bn2statenv
63                                            val recomp = recomp_group)                                            val recomp = recomp_group)
# Line 82  Line 84 
84              Option.map f g              Option.map f g
85          end          end
86    
87          fun stabilize recursively = run (SOME recursively) #1          fun stabilize recursively = run (SOME recursively) ignore
88          val recomp = run NONE recomp_group          val recomp = run NONE recomp_group
89          val make = run NONE make_group          val make = run NONE make_group
90      end      end

Legend:
Removed from v.311  
changed lines
  Added in v.312

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