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 586, Thu Mar 30 05:08:07 2000 UTC revision 587, Thu Mar 30 09:01:52 2000 UTC
# Line 78  Line 78 
78          isValid          isValid
79      end      end
80    
81      fun verify gp em (group as GG.GROUP g) = let      fun verify _ _ GG.ERRORGROUP = false
82          | verify gp em (group as GG.GROUP g) = let
83          val { exports, grouppath, sublibs, ... } = g          val { exports, grouppath, sublibs, ... } = g
84          val groups = Reachable.groupsOf group          val groups = Reachable.groupsOf group
85      in      in

Legend:
Removed from v.586  
changed lines
  Added in v.587

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