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/smlnj-lib/Util/redblack-set-fn.sml
ViewVC logotype

Diff of /sml/trunk/src/smlnj-lib/Util/redblack-set-fn.sml

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

revision 475, Wed Nov 10 22:59:58 1999 UTC revision 498, Tue Dec 7 15:44:50 1999 UTC
# Line 129  Line 129 
129            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)))
130              | delMin (T(B, E, y, b), z) = (y, bbZip(z, b))              | delMin (T(B, E, y, b), z) = (y, bbZip(z, b))
131              | 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))
132                | delMin (E, _) = raise Match
133            fun join (R, E, E, z) = zip(z, E)            fun join (R, E, E, z) = zip(z, E)
134              | join (_, a, E, z) = #2(bbZip(z, a))       (* color = black *)              | join (_, a, E, z) = #2(bbZip(z, a))       (* color = black *)
135              | 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

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