[pure-lang-svn] SF.net SVN: pure-lang:[883] pure/trunk/test/prelude.log
Status: Beta
Brought to you by:
agraef
|
From: <ag...@us...> - 2008-09-27 13:11:11
|
Revision: 883
http://pure-lang.svn.sourceforge.net/pure-lang/?rev=883&view=rev
Author: agraef
Date: 2008-09-27 13:11:09 +0000 (Sat, 27 Sep 2008)
Log Message:
-----------
Update logs.
Modified Paths:
--------------
pure/trunk/test/prelude.log
Modified: pure/trunk/test/prelude.log
===================================================================
--- pure/trunk/test/prelude.log 2008-09-27 11:35:58 UTC (rev 882)
+++ pure/trunk/test/prelude.log 2008-09-27 13:11:09 UTC (rev 883)
@@ -1183,28 +1183,8 @@
state 8: #1
} end;
cat [] = [];
-cat xs@(_/*0:101*/:_/*0:11*/) = foldr ((+/*0*/)) [] xs/*0:1*/ with []+ys/*0:1*/ = ys/*0:1*/; xs@(_/*0:0101*/:_/*0:011*/)+ys/*0:1*/ = tick/*1*/ [] xs/*0:01*/ ys/*0:1*/ {
- rule #0: []+ys = ys
- rule #1: xs@(_:_)+ys = tick [] xs ys
- state 0: #0 #1
- [] state 1
- <app> state 3
- state 1: #0
- <var> state 2
- state 2: #0
- state 3: #1
- <app> state 4
- state 4: #1
- : state 5
- state 5: #1
- <var> state 6
- state 6: #1
- <var> state 7
- state 7: #1
- <var> state 8
- state 8: #1
-}; tick zs/*0:001*/ (x/*0:0101*/:xs/*0:011*/) ys/*0:1*/ = tack/*1*/ (x/*0:0101*/:zs/*0:001*/) (xs/*1:011*/+/*2*/ys/*1:1*/&) if thunkp xs/*0:011*/; tick zs/*0:001*/ (x/*0:0101*/:xs/*0:011*/) ys/*0:1*/ = tick/*1*/ (x/*0:0101*/:zs/*0:001*/) xs/*0:011*/ ys/*0:1*/; tick zs/*0:001*/ [] ys/*0:1*/ = tack/*1*/ zs/*0:001*/ ys/*0:1*/; tick zs/*0:001*/ xs/*0:01*/ ys/*0:1*/ = tack/*1*/ zs/*0:001*/ (xs/*0:01*/+/*1*/ys/*0:1*/) {
- rule #0: tick zs (x:xs) ys = tack (x:zs) (xs+ys&) if thunkp xs
+cat xs@(_/*0:101*/:_/*0:11*/) = foldr (tick/*0*/ []) [] xs/*0:1*/ with tick zs/*0:001*/ (x/*0:0101*/:xs/*0:011*/) ys/*0:1*/ = tack/*1*/ (x/*0:0101*/:zs/*0:001*/) (tick/*2*/ [] xs/*1:011*/ ys/*1:1*/&) if thunkp xs/*0:011*/; tick zs/*0:001*/ (x/*0:0101*/:xs/*0:011*/) ys/*0:1*/ = tick/*1*/ (x/*0:0101*/:zs/*0:001*/) xs/*0:011*/ ys/*0:1*/; tick zs/*0:001*/ [] ys/*0:1*/ = tack/*1*/ zs/*0:001*/ ys/*0:1*/; tick zs/*0:001*/ xs/*0:01*/ ys/*0:1*/ = tack/*1*/ zs/*0:001*/ (xs/*0:01*/+ys/*0:1*/) {
+ rule #0: tick zs (x:xs) ys = tack (x:zs) (tick [] xs ys&) if thunkp xs
rule #1: tick zs (x:xs) ys = tick (x:zs) xs ys
rule #2: tick zs [] ys = tack zs ys
rule #3: tick zs xs ys = tack zs (xs+ys)
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|