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

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

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

revision 666, Fri Jun 16 08:27:00 2000 UTC revision 805, Thu Mar 22 20:08:01 2001 UTC
# Line 70  Line 70 
70                      val (m, i) = Reachable.reachable' export_nodes                      val (m, i) = Reachable.reachable' export_nodes
71                  in                  in
72                      (* The group itself is included in "groups"... *)                      (* The group itself is included in "groups"... *)
73                      not (SrcPathSet.exists (invalidGroup st) groups) andalso                      not (SrcPathSet.exists (invalidGroup st) groups)
74                      not (List.exists nonstabSublib sublibs) andalso                      andalso
75                        not (List.exists nonstabSublib sublibs)
76                        andalso
77                      validStamp ((grouppath, export_nodes, sublibs), version)                      validStamp ((grouppath, export_nodes, sublibs), version)
78                      andalso not (SmlInfoSet.exists (invalidMember st) m)                      andalso
79                        not (SmlInfoSet.exists (invalidMember st) m)
80                  end                  end
81                | _ => false                | _ => false
82      in      in

Legend:
Removed from v.666  
changed lines
  Added in v.805

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