SCM Repository
Diff of /sml/trunk/src/cm/stable/stabilize.sml
Parent Directory
| 
Revision Log
| 
Patch
| revision 313, Thu Jun 3 09:26:34 1999 UTC | revision 314, Fri Jun 4 06:41:45 1999 UTC | |
|---|---|---|
| # | Line 15 | Line 15 |
| 15 | structure E = GenericVC.Environment | structure E = GenericVC.Environment |
| 16 | ||
| 17 | type statenvgetter = GP.info -> DG.bnode -> E.staticEnv | type statenvgetter = GP.info -> DG.bnode -> E.staticEnv |
| 18 | type recomp = GG.group * GP.info -> bool | type recomp = GP.info -> GG.group -> bool |
| 19 | in | in |
| 20 | ||
| 21 | signature STABILIZE = sig | signature STABILIZE = sig |
| # | Line 84 | Line 84 |
| 84 | ||
| 85 | fun doit granted = let | fun doit granted = let |
| 86 | ||
| 87 | val _ = Say.say ("$Stabilize: wrapping the following privileges:\n" | val _ = |
| 88 | if StringSet.isEmpty granted then () | |
| 89 | else | |
| 90 | Say.say ("$Stabilize: wrapping the following privileges:\n" | |
| 91 | :: map (fn s => (" " ^ s ^ "\n")) | :: map (fn s => (" " ^ s ^ "\n")) |
| 92 | (StringSet.listItems granted)) | (StringSet.listItems granted)) |
| 93 | ||
| # | Line 343 | Line 346 |
| 346 | case #stableinfo grec of | case #stableinfo grec of |
| 347 | GG.STABLE _ => SOME g | GG.STABLE _ => SOME g |
| 348 | | GG.NONSTABLE granted => | | GG.NONSTABLE granted => |
| 349 | if not (recomp (g, gp)) then | if not (recomp gp g) then |
| 350 | (anyerrors := true; NONE) | (anyerrors := true; NONE) |
| 351 | else let | else let |
| 352 | fun notStable (GG.GROUP { stableinfo, ... }) = | fun notStable (GG.GROUP { stableinfo, ... }) = |
|
||||||||
| root@smlnj-gforge.cs.uchicago.edu | ViewVC Help |
| Powered by ViewVC 1.0.0 |
