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

Diff of /sml/trunk/src/cm/stable/stabilize.sml

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

revision 312, Wed Jun 2 23:20:17 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, ... }) =

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

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