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/graph.sml
 [smlnj] / sml / trunk / src / cm / depend / graph.sml

# Diff of /sml/trunk/src/cm/depend/graph.sml

revision 294, Tue May 25 09:06:06 1999 UTC revision 295, Wed May 26 09:20:25 1999 UTC
# Line 46  Line 46
46      (* comparing various nodes for equality *)      (* comparing various nodes for equality *)
47      fun beq (PNODE p, PNODE p') = Primitive.eq (p, p')      fun beq (PNODE p, PNODE p') = Primitive.eq (p, p')
48        | beq (BNODE { bininfo = i, ... }, BNODE { bininfo = i', ... }) =        | beq (BNODE { bininfo = i, ... }, BNODE { bininfo = i', ... }) =
49          BinInfo.eq (i, i')          BinInfo.compare (i, i') = EQUAL
50        | beq _ = false        | beq _ = false
51      fun seq (SNODE { smlinfo = i, ... }, SNODE { smlinfo = i', ... }) =      fun seq (SNODE { smlinfo = i, ... }, SNODE { smlinfo = i', ... }) =
52          SmlInfo.eq (i, i')          SmlInfo.eq (i, i')

Legend:
 Removed from v.294 changed lines Added in v.295