[pure-lang-svn] SF.net SVN: pure-lang: [362] pure/trunk

[<ag...@us...>]

Revision: 362
          http://pure-lang.svn.sourceforge.net/pure-lang/?rev=362&view=rev
Author:   agraef
Date:     2008-07-01 18:13:39 -0700 (Tue, 01 Jul 2008)

Log Message:
-----------
Fix up list equality test. Reported by Jiri Spitz.

Modified Paths:
--------------
    pure/trunk/lib/prelude.pure
    pure/trunk/test/prelude.log

Modified: pure/trunk/lib/prelude.pure
===================================================================
--- pure/trunk/lib/prelude.pure	2008-07-02 01:06:03 UTC (rev 361)
+++ pure/trunk/lib/prelude.pure	2008-07-02 01:13:39 UTC (rev 362)
@@ -140,7 +140,7 @@
 []==[]		= 1;
 (x:xs)==[]	= 0;
 []==(x:xs)	= 0;
-(x:xs)==(y:ys)	= if x==y then xs==ys else 1;
+(x:xs)==(y:ys)	= if x==y then xs==ys else 0;
 
 []!=[]		= 0;
 (x:xs)!=[]	= 1;

Modified: pure/trunk/test/prelude.log
===================================================================
--- pure/trunk/test/prelude.log	2008-07-02 01:06:03 UTC (rev 361)
+++ pure/trunk/test/prelude.log	2008-07-02 01:13:39 UTC (rev 362)
@@ -440,7 +440,7 @@
 []==[] = 1;
 x/*0:0101*/:xs/*0:011*/==[] = 0;
 []==x/*0:101*/:xs/*0:11*/ = 0;
-x/*0:0101*/:xs/*0:011*/==y/*0:101*/:ys/*0:11*/ = if x/*0:0101*/==y/*0:101*/ then xs/*0:011*/==ys/*0:11*/ else 1;
+x/*0:0101*/:xs/*0:011*/==y/*0:101*/:ys/*0:11*/ = if x/*0:0101*/==y/*0:101*/ then xs/*0:011*/==ys/*0:11*/ else 0;
 []!=[] = 0;
 x/*0:0101*/:xs/*0:011*/!=[] = 1;
 []!=x/*0:101*/:xs/*0:11*/ = 1;


This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.