[pure-lang-svn] SF.net SVN: pure-lang:[638] pure/trunk/lib/prelude.pure
Status: Beta
Brought to you by:
agraef
|
From: <ag...@us...> - 2008-08-27 19:33:05
|
Revision: 638
http://pure-lang.svn.sourceforge.net/pure-lang/?rev=638&view=rev
Author: agraef
Date: 2008-08-27 19:33:15 +0000 (Wed, 27 Aug 2008)
Log Message:
-----------
Fix typo in comment.
Modified Paths:
--------------
pure/trunk/lib/prelude.pure
Modified: pure/trunk/lib/prelude.pure
===================================================================
--- pure/trunk/lib/prelude.pure 2008-08-27 19:31:19 UTC (rev 637)
+++ pure/trunk/lib/prelude.pure 2008-08-27 19:33:15 UTC (rev 638)
@@ -98,8 +98,8 @@
def (f . g) x = f (g x);
/* "Mapsto" operator. This constructor is declared here so that it can be used
- in other standard library modules to denote special kind of pairs which map
- keys to values. Here we only define equality of such pairs. */
+ in other standard library modules to denote special kinds of pairs which
+ map keys to values. Here we only define equality of such pairs. */
(x=>v)==(y=>w) = if x==y then v==w else 0;
(x=>v)!=(y=>w) = if x!=y then 1 else v!=w;
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|