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

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

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.