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 /smlnj-lib/releases/release-110.61/Util/int-redblack-set.sml
 [smlnj] / smlnj-lib / releases / release-110.61 / Util / int-redblack-set.sml

Diff of /smlnj-lib/releases/release-110.61/Util/int-redblack-set.sml

revision 475, Wed Nov 10 22:59:58 1999 UTC revision 498, Tue Dec 7 15:44:50 1999 UTC
# Line 136  Line 136
136            fun delMin (T(R, E, y, b), z) = (y, (false, zip(z, b)))            fun delMin (T(R, E, y, b), z) = (y, (false, zip(z, b)))
137              | delMin (T(B, E, y, b), z) = (y, bbZip(z, b))              | delMin (T(B, E, y, b), z) = (y, bbZip(z, b))
138              | delMin (T(color, a, y, b), z) = delMin(a, LEFT(color, y, b, z))              | delMin (T(color, a, y, b), z) = delMin(a, LEFT(color, y, b, z))
139                | delMin (E, _) = raise Match
140            fun join (R, E, E, z) = zip(z, E)            fun join (R, E, E, z) = zip(z, E)
141              | join (_, a, E, z) = #2(bbZip(z, a))       (* color = black *)              | join (_, a, E, z) = #2(bbZip(z, a))       (* color = black *)
142              | join (_, E, b, z) = #2(bbZip(z, b))       (* color = black *)              | join (_, E, b, z) = #2(bbZip(z, b))       (* color = black *)

Legend:
 Removed from v.475 changed lines Added in v.498