[MLton-commit] r5941

[Vesa Karvonen]

Less surprising example.
----------------------------------------------------------------------

U   mltonlib/trunk/com/ssh/extended-basis/unstable/public/generic/tie.sig

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

Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/public/generic/tie.sig
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/public/generic/tie.sig	2007-08-24 17:50:45 UTC (rev 5940)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/public/generic/tie.sig	2007-08-24 17:55:45 UTC (rev 5941)
@@ -36,12 +36,12 @@
     *> val isEven & isOdd =
     *>     let open Tie in fix (function *` function) end
     *>        (fn isEven & isOdd =>
-    *>            (fn 0w0 => true
-    *>              | 0w1 => false
-    *>              | n => isOdd (n-0w1)) &
-    *>            (fn 0w0 => false
-    *>              | 0w1 => true
-    *>              | n => isEven (n-0w1)))
+    *>            (fn 0 => true
+    *>              | 1 => false
+    *>              | n => isOdd (n-1)) &
+    *>            (fn 0 => false
+    *>              | 1 => true
+    *>              | n => isEven (n-1)))
     *)
 
    (** == Making New Witnesses == *)