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 401, Fri Aug 27 02:43:47 1999 UTC revision 402, Fri Aug 27 07:50:43 1999 UTC
# Line 19  Line 19 
19      structure E = GenericVC.Environment      structure E = GenericVC.Environment
20    
21      type recomp = GP.info -> GG.group -> bool      type recomp = GP.info -> GG.group -> bool
22    
23      type pid = Pid.persstamp      type pid = Pid.persstamp
24  in  in
25    
# Line 451  Line 452 
452              GG.STABLELIB => SOME g              GG.STABLELIB => SOME g
453            | GG.NOLIB => EM.impossible "stabilize: no library"            | GG.NOLIB => EM.impossible "stabilize: no library"
454            | GG.LIB wrapped =>            | GG.LIB wrapped =>
455                  if not (recomp gp g) then                  if not (recomp gp g) then (anyerrors := true; NONE)
                     (anyerrors := true; NONE)  
456                  else let                  else let
457                      fun notStable (GG.GROUP { kind, ... }) =                      fun notStable (GG.GROUP { kind, ... }) =
458                          case kind of GG.STABLELIB => false | _ => true                          case kind of GG.STABLELIB => false | _ => true
# Line 724  Line 724 
724                                 closeIt = BinIO.closeIn,                                 closeIt = BinIO.closeIn,
725                                 work = work,                                 work = work,
726                                 cleanup = fn () => () })                                 cleanup = fn () => () })
727          handle Format => NONE          handle Format => (error ["file is corrupted (old version?)"];
728                              NONE)
729               | IO.Io _ => NONE               | IO.Io _ => NONE
730      end      end
731  end  end

Legend:
Removed from v.401  
changed lines
  Added in v.402

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