[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. |