Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Tracker SCM

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 314, Fri Jun 4 06:41:45 1999 UTC revision 315, Fri Jun 4 07:29:43 1999 UTC
# Line 44  Line 44 
44    
45        val recomp_group = RecompTraversal.group        val recomp_group = RecompTraversal.group
46    
47        fun exec_group gp g =        fun exec_group gp (g as GroupGraph.GROUP { required = rq, ... }) =
           (ExecTraversal.group gp g  
            before FullPersstate.rememberShared ())  
   
       fun make_group gp (g as GroupGraph.GROUP { required = rq, ... }) =  
48            (if StringSet.isEmpty rq then ()            (if StringSet.isEmpty rq then ()
49             else Say.say ("$Execute: required privileges are:\n" ::             else Say.say ("$Execute: required privileges are:\n" ::
50                       map (fn s => ("  " ^ s ^ "\n")) (StringSet.listItems rq));                       map (fn s => ("  " ^ s ^ "\n")) (StringSet.listItems rq));
51             if isSome (recomp_group gp g) then exec_group gp g else NONE)             ExecTraversal.group gp g
52               before FullPersstate.rememberShared ())
53    
54          fun make_group gp g =
55              if isSome (recomp_group gp g) then exec_group gp g else NONE
56    
57        structure Stabilize =  StabilizeFn (val bn2statenv = bn2statenv        structure Stabilize =  StabilizeFn (val bn2statenv = bn2statenv
58                                            fun recomp gp g =                                            fun recomp gp g =

Legend:
Removed from v.314  
changed lines
  Added in v.315

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