SCM Repository
Diff of /sml/trunk/src/cm/link.sml
Parent Directory
| 
Revision Log
| 
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 |
|
||||||||
| root@smlnj-gforge.cs.uchicago.edu | ViewVC Help |
| Powered by ViewVC 1.0.0 |
