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 311, Wed Jun 2 09:08:48 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 83  Line 83 
83      fun stabilize gp { group = g as GG.GROUP grec, anyerrors } = let      fun stabilize gp { group = g as GG.GROUP grec, anyerrors } = let
84    
85          fun doit granted = let          fun doit granted = let
86    
87                val _ =
88                    if StringSet.isEmpty granted then ()
89                    else
90                        Say.say ("$Stabilize: wrapping the following privileges:\n"
91                                 :: map (fn s => ("  " ^ s ^ "\n"))
92                                        (StringSet.listItems granted))
93    
94              val bname = AbsPath.name o SmlInfo.binpath              val bname = AbsPath.name o SmlInfo.binpath
95              val bsz = OS.FileSys.fileSize o bname              val bsz = OS.FileSys.fileSize o bname
96              fun cpb s i = let              fun cpb s i = let
# Line 338  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.311  
changed lines
  Added in v.314

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