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 652, Tue Jun 6 02:14:56 2000 UTC revision 737, Fri Nov 24 08:43:56 2000 UTC
# Line 68  Line 68 
68                  end                  end
69          end          end
70    
71          and sbn (DG.SB_BNODE (n, _)) = bn n          and sbn (DG.SB_BNODE (n, _, _)) = bn n
72            | sbn (DG.SB_SNODE n) = sn n            | sbn (DG.SB_SNODE n) = sn n
73    
74          and fsbn (_, n) = sbn n          and fsbn (_, n) = sbn n

Legend:
Removed from v.652  
changed lines
  Added in v.737

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