[pure-lang-svn] SF.net SVN: pure-lang: [372] pure/trunk/examples/set.pure

[<js...@us...>]

Revision: 372
          http://pure-lang.svn.sourceforge.net/pure-lang/?rev=372&view=rev
Author:   jspitz
Date:     2008-07-02 14:59:15 -0700 (Wed, 02 Jul 2008)

Log Message:
-----------
Fixed bug in bag <= and >= tests.

Modified Paths:
--------------
    pure/trunk/examples/set.pure

Modified: pure/trunk/examples/set.pure
===================================================================
--- pure/trunk/examples/set.pure	2008-07-02 21:34:02 UTC (rev 371)
+++ pure/trunk/examples/set.pure	2008-07-02 21:59:15 UTC (rev 372)
@@ -299,15 +299,11 @@
 m1@(Bag _) != m2@(Bag _)
 				= (members m1 != members m2);
 
-m1@(Set _) <= m2@(Set _)
-				= all (member m2) (members m1);
-m1@(Bag _) <= m2@(Bag _)
-				= (m1 - m2) == nil;
+m1@(Set _) <= m2@(Set _)	= all (member m2) (members m1);
+m1@(Bag _) <= m2@(Bag _)	= null (m1 - m2);
 
-m1@(Set _) >= m2@(Set _)
-				= all (member m1) (members m2);
-m1@(Bag _) >= m2@(Bag _)
-				= (m2 - m1) == nil;
+m1@(Set _) >= m2@(Set _)	= all (member m1) (members m2);
+m1@(Bag _) >= m2@(Bag _)	= null (m2 - m1);
 
 m1@(Set _) < m2@(Set _) |
 m1@(Bag _) < m2@(Bag _)


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