[pure-lang-svn] SF.net SVN: pure-lang: [353] pure/trunk/test/prelude.log

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

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

Log Message:
-----------
Update logs.

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

Modified: pure/trunk/test/prelude.log
===================================================================
--- pure/trunk/test/prelude.log	2008-07-01 13:43:30 UTC (rev 352)
+++ pure/trunk/test/prelude.log	2008-07-01 14:06:22 UTC (rev 353)
@@ -1,3 +1,5 @@
+def false = 0;
+def true = 1;
 throw x/*0:1*/ = pure_throw x/*0:1*/;
 assert p/*0:01*/ e/*0:1*/ = if p/*0:01*/ then 1 else throw e/*0:1*/;
 x/*0:01*/===y/*0:1*/ = same x/*0:01*/ y/*0:1*/;
@@ -193,9 +195,6 @@
 x/*0:01*/::double>=y/*0:1*/::bigint = x/*0:01*/>=double y/*0:1*/;
 x/*0:01*/::double==y/*0:1*/::bigint = x/*0:01*/==double y/*0:1*/;
 x/*0:01*/::double!=y/*0:1*/::bigint = x/*0:01*/!=double y/*0:1*/;
-sqrt x/*0:1*/::int = c_sqrt (double x/*0:1*/) if x/*0:1*/>=0;
-sqrt x/*0:1*/::bigint = c_sqrt (double x/*0:1*/) if x/*0:1*/>=0;
-sqrt x/*0:1*/::double = c_sqrt x/*0:1*/ if x/*0:1*/>=0;
 pow x/*0:01*/::int y/*0:1*/::int = bigint_pow (bigint x/*0:01*/) y/*0:1*/ if y/*0:1*/>=0;
 pow x/*0:01*/::bigint y/*0:1*/::bigint = bigint_pow x/*0:01*/ (int y/*0:1*/) if int y/*0:1*/>=0;
 pow x/*0:01*/::double y/*0:1*/::double = c_pow x/*0:01*/ y/*0:1*/ if x/*0:01*/>=0||int y/*0:1*/==y/*0:1*/;
@@ -214,6 +213,8 @@
 x/*0:01*/::double^y/*0:1*/::bigint = c_pow x/*0:01*/ (double y/*0:1*/);
 x/*0:01*/::int^y/*0:1*/::double = c_pow (double x/*0:01*/) y/*0:1*/ if x/*0:01*/>=0||int y/*0:1*/==y/*0:1*/;
 x/*0:01*/::bigint^y/*0:1*/::double = c_pow (double x/*0:01*/) y/*0:1*/ if x/*0:01*/>=0||int y/*0:1*/==y/*0:1*/;
+x/*0:01*/::int^y/*0:1*/::double = double x/*0:01*/^y/*0:1*/;
+x/*0:01*/::bigint^y/*0:1*/::double = double x/*0:01*/^y/*0:1*/;
 null x/*0:1*/ = bigint x/*0:1*/==0;
 x/*0:01*/-y/*0:1*/ = bigint x/*0:01*/-bigint y/*0:1*/;
 x/*0:01*/+y/*0:1*/::int = pointer (bigint x/*0:01*/+y/*0:1*/);


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