[pure-lang-svn] SF.net SVN: pure-lang:[868] pure/trunk/test/prelude.log
Status: Beta
Brought to you by:
agraef
|
From: <ag...@us...> - 2008-09-25 11:17:53
|
Revision: 868
http://pure-lang.svn.sourceforge.net/pure-lang/?rev=868&view=rev
Author: agraef
Date: 2008-09-25 11:17:42 +0000 (Thu, 25 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-25 11:03:44 UTC (rev 867)
+++ pure/trunk/test/prelude.log 2008-09-25 11:17:42 UTC (rev 868)
@@ -311,7 +311,12 @@
stream (x/*0:101*/:xs/*0:11*/) = x/*0:101*/:stream xs/*1:11*/&;
stream () = [];
stream xs@(_/*0:101*/,_/*0:11*/) = stream (list xs/*0:1*/);
-xs/*0:01*/!!ns/*0:1*/ = catmap (nth/*0*/ xs/*0:01*/) ns/*0:1*/ with nth xs/*0:01*/ n/*0:1*/ = catch (cst []) [xs/*1:01*/!n/*1:1*/] {
+xs/*0:01*/!!ns/*0:1*/ = if tuplep xs/*1:01*/ then tuple ys/*0:*/ else ys/*0:*/ when ys/*0:*/ = catmap (nth/*0*/ xs/*0:01*/) ns/*0:1*/ {
+ rule #0: ys = catmap (nth xs) ns
+ state 0: #0
+ <var> state 1
+ state 1: #0
+} end with nth xs/*0:01*/ n/*0:1*/ = catch (cst []) [xs/*1:01*/!n/*1:1*/] {
rule #0: nth xs n = catch (cst []) [xs!n]
state 0: #0
<var> state 1
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|