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 572, Thu Mar 9 02:43:06 2000 UTC revision 573, Thu Mar 9 15:23:52 2000 UTC
# Line 820  Line 820 
820          case #kind grec of          case #kind grec of
821              GG.STABLELIB _ => SOME g              GG.STABLELIB _ => SOME g
822            | GG.NOLIB _ => EM.impossible "stabilize: no library"            | GG.NOLIB _ => EM.impossible "stabilize: no library"
823            | GG.LIB (wrapped, _) =>            | GG.LIB { wrapped, ... } =>
824               (case recomp gp g of               (case recomp gp g of
825                    NONE => (anyerrors := true; NONE)                    NONE => (anyerrors := true; NONE)
826                  | SOME bfc_acc => let                  | SOME bfc_acc => let

Legend:
Removed from v.572  
changed lines
  Added in v.573

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