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