[pure-lang-svn] SF.net SVN: pure-lang:[760] pure/trunk/lib/primitives.pure

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

Revision: 760
          http://pure-lang.svn.sourceforge.net/pure-lang/?rev=760&view=rev
Author:   agraef
Date:     2008-09-15 04:41:02 +0000 (Mon, 15 Sep 2008)

Log Message:
-----------
Simplify definitions of infp and nanp.

Modified Paths:
--------------
    pure/trunk/lib/primitives.pure

Modified: pure/trunk/lib/primitives.pure
===================================================================
--- pure/trunk/lib/primitives.pure	2008-09-12 11:39:25 UTC (rev 759)
+++ pure/trunk/lib/primitives.pure	2008-09-15 04:41:02 UTC (rev 760)
@@ -69,8 +69,8 @@
 
 /* Predicates to check for inf and nan values. */
 
-infp x		= case x of x::double = x!==nan && x-x===nan; _ = 0 end;
-nanp x		= case x of x::double = x===nan; _ = 0 end;
+infp x		= case x of x::double = x==inf || x==-inf; _ = 0 end;
+nanp x		= case x of x::double = not (x==x); _ = 0 end;
 
 /* Compute a 32 bit hash code of a Pure expression. */
 


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