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

Diff of /sml/trunk/src/cm/depend/checksharing.sml

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

revision 397, Fri Aug 13 07:06:52 1999 UTC revision 398, Wed Aug 25 15:36:43 1999 UTC
# Line 69  Line 69 
69                  end                  end
70          end          end
71    
72          and sbn (DG.SB_BNODE n) = bn n          and sbn (DG.SB_BNODE (n, _)) = bn n
73            | sbn (DG.SB_SNODE n) = sn n            | sbn (DG.SB_SNODE n) = sn n
74    
75          and fsbn (_, n) = sbn n          and fsbn (_, n) = sbn n

Legend:
Removed from v.397  
changed lines
  Added in v.398

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