[MLton-commit] r5521
    geoffw at mlton.org 
    geoffw at mlton.org
       
    Fri Apr 13 08:11:47 PDT 2007
    
    
  
I had a stupid negation bug in uniqueByEq.
----------------------------------------------------------------------
U   mltonlib/trunk/com/ssh/extended-basis/unstable/detail/sequence/list.sml
----------------------------------------------------------------------
Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/detail/sequence/list.sml
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/detail/sequence/list.sml	2007-04-13 12:43:40 UTC (rev 5520)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/detail/sequence/list.sml	2007-04-13 15:11:47 UTC (rev 5521)
@@ -101,7 +101,7 @@
        case xs
          of [] => true
           | x::xs' => 
-            exists (Fn.curry eq x) xs' andalso
+            (not o (exists) (Fn.curry eq x)) xs' andalso
             uniqueByEq eq xs' 
 
    local
    
    
More information about the MLton-commit
mailing list