[MLton-commit] r5796

[Vesa Karvonen]

Fixed collate.
----------------------------------------------------------------------

U   mltonlib/trunk/com/ssh/extended-basis/unstable/detail/data/pair.sml
U   mltonlib/trunk/com/ssh/extended-basis/unstable/detail/data/product.sml

----------------------------------------------------------------------

Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/detail/data/pair.sml
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/detail/data/pair.sml	2007-07-27 01:29:38 UTC (rev 5795)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/detail/data/pair.sml	2007-07-27 05:50:56 UTC (rev 5796)
@@ -35,12 +35,12 @@
       fun mk p (fA, fB) (a, b) = let
          val a = fA a
       in
-         if p a then a else fB b
+         if p a then fB b else a
       end
    in
-      fun all     ? = mk Bool.isFalse  ?
-      fun exists  ? = mk Bool.isTrue   ?
-      fun equal   ? = mk Bool.isFalse  ? o swizzle
+      fun all     ? = mk Bool.isTrue   ?
+      fun exists  ? = mk Bool.isFalse  ?
+      fun equal   ? = mk Bool.isTrue   ? o swizzle
       fun collate ? = mk Order.isEqual ? o swizzle
    end
 

Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/detail/data/product.sml
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/detail/data/product.sml	2007-07-27 01:29:38 UTC (rev 5795)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/detail/data/product.sml	2007-07-27 05:50:56 UTC (rev 5796)
@@ -37,12 +37,12 @@
       fun mk p (fA, fB) (a & b) = let
          val a = fA a
       in
-         if p a then a else fB b
+         if p a then fB b else a
       end
    in
-      fun all     ? = mk Bool.isFalse  ?
-      fun exists  ? = mk Bool.isTrue   ?
-      fun equal   ? = mk Bool.isFalse  ? o swizzle
+      fun all     ? = mk Bool.isTrue   ?
+      fun exists  ? = mk Bool.isFalse  ?
+      fun equal   ? = mk Bool.isTrue   ? o swizzle
       fun collate ? = mk Order.isEqual ? o swizzle
    end