[pure-lang-svn] SF.net SVN: pure-lang: [373] pure/trunk/test/test014.log

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

Revision: 373
          http://pure-lang.svn.sourceforge.net/pure-lang/?rev=373&view=rev
Author:   agraef
Date:     2008-07-02 16:31:57 -0700 (Wed, 02 Jul 2008)

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

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

Modified: pure/trunk/test/test014.log
===================================================================
--- pure/trunk/test/test014.log	2008-07-02 21:59:15 UTC (rev 372)
+++ pure/trunk/test/test014.log	2008-07-02 23:31:57 UTC (rev 373)
@@ -602,7 +602,20 @@
 rational x@(_/*0:101*/%_/*0:11*/) = x/*0:1*/;
 rational x/*0:1*/::int = x/*0:1*/%1;
 rational x/*0:1*/::bigint = x/*0:1*/%1;
-rational x/*0:1*/::double = x/*0:1*/;
+rational x/*0:1*/::double = n/*0:01*/%d/*0:1*/ when n/*0:01*/,d/*0:1*/ = pure_rational x/*0:1*/ {
+  rule #0: n,d = pure_rational x
+  state 0: #0
+	<app> state 1
+  state 1: #0
+	<app> state 2
+  state 2: #0
+	, state 3
+  state 3: #0
+	<var> state 4
+  state 4: #0
+	<var> state 5
+  state 5: #0
+} end;
 rational (x/*0:101*/+:y/*0:11*/) = rational x/*0:101*/+:rational y/*0:11*/;
 rational (x/*0:101*/<:y/*0:11*/) = rational x/*0:101*/<:rational y/*0:11*/;
 int x@(_/*0:101*/%_/*0:11*/) = int (bigint x/*0:1*/);
@@ -6083,7 +6096,7 @@
   rule #0: rational x@(_%_) = x
   rule #1: rational x::int = x%1
   rule #2: rational x::bigint = x%1
-  rule #3: rational x::double = x
+  rule #3: rational x::double = n%d when n,d = pure_rational x end
   rule #4: rational (x+:y) = rational x+:rational y
   rule #5: rational (x<:y) = rational x<:rational y
   state 0: #0 #1 #2 #3 #4 #5
@@ -6271,7 +6284,7 @@
 frac (-22%7);
 (-1L)%7L
 rational (3/8);
-0.375
+3L%8L
 {
   rule #0: z = 1+(0+:1)*(1%2)
   state 0: #0


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