[pure-lang-svn] SF.net SVN: pure-lang:[661] pure/trunk/test

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

Revision: 661
          http://pure-lang.svn.sourceforge.net/pure-lang/?rev=661&view=rev
Author:   agraef
Date:     2008-08-30 01:33:10 +0000 (Sat, 30 Aug 2008)

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

Modified Paths:
--------------
    pure/trunk/test/prelude.log
    pure/trunk/test/test020.log

Modified: pure/trunk/test/prelude.log
===================================================================
--- pure/trunk/test/prelude.log	2008-08-30 01:28:49 UTC (rev 660)
+++ pure/trunk/test/prelude.log	2008-08-30 01:33:10 UTC (rev 661)
@@ -11,6 +11,7 @@
 uncurry3 f/*0:01*/ (x/*0:101*/,y/*0:1101*/,z/*0:111*/) = f/*0:01*/ x/*0:101*/ y/*0:1101*/ z/*0:111*/;
 def f/*0:01*/$x/*0:1*/ = f/*0:01*/ x/*0:1*/;
 def (f/*0:001*/.g/*0:01*/) x/*0:1*/ = f/*0:001*/ (g/*0:01*/ x/*0:1*/);
+def void (catmap f/*0:101*/ x/*0:11*/) = do f/*0:101*/ x/*0:11*/;
 (x/*0:0101*/=>v/*0:011*/)==(y/*0:101*/=>w/*0:11*/) = if x/*0:0101*/==y/*0:101*/ then v/*0:011*/==w/*0:11*/ else 0;
 (x/*0:0101*/=>v/*0:011*/)!=(y/*0:101*/=>w/*0:11*/) = if x/*0:0101*/!=y/*0:101*/ then 1 else v/*0:011*/!=w/*0:11*/;
 x/*0:01*/,() = x/*0:01*/;

Modified: pure/trunk/test/test020.log
===================================================================
--- pure/trunk/test/test020.log	2008-08-30 01:28:49 UTC (rev 660)
+++ pure/trunk/test/test020.log	2008-08-30 01:33:10 UTC (rev 661)
@@ -51,7 +51,7 @@
 show (x/*0:101*/+:y/*0:11*/) = show x/*0:101*/+"+:"+show y/*0:11*/;
 show (x/*0:101*/<:y/*0:11*/) = show x/*0:101*/+"<:"+show y/*0:11*/;
 show x/*0:1*/ = str x/*0:1*/;
-tests = puts "*** UNARY ***"$$void (catmap (\f/*0:*/ -> catmap (\x/*0:*/ -> [test (f/*1:*/,x/*0:*/)] {
+tests = puts "*** UNARY ***"$$do (\f/*0:*/ -> catmap (\x/*0:*/ -> [test (f/*1:*/,x/*0:*/)] {
   rule #0: x = [test (f,x)]
   state 0: #0
 	<var> state 1
@@ -61,7 +61,7 @@
   state 0: #0
 	<var> state 1
   state 1: #0
-}) f)$$puts "*** BINARY ***"$$void (catmap (\f/*0:*/ -> catmap (\x/*0:*/ -> [test (f/*1:*/,x/*0:*/)] {
+}) f$$puts "*** BINARY ***"$$do (\f/*0:*/ -> catmap (\x/*0:*/ -> [test (f/*1:*/,x/*0:*/)] {
   rule #0: x = [test (f,x)]
   state 0: #0
 	<var> state 1
@@ -71,7 +71,7 @@
   state 0: #0
 	<var> state 1
   state 1: #0
-}) f2);
+}) f2;
 {
   rule #0: check _ z = z if numberp z
   rule #1: check (f,x,y) (g@_ u v) = __failed__ if f===g&&x===u&&y===v
@@ -285,7 +285,7 @@
   state 15: #4 #5
 }
 {
-  rule #0: tests = puts "*** UNARY ***"$$void (catmap (\f -> catmap (\x -> [test (f,x)]) x) f)$$puts "*** BINARY ***"$$void (catmap (\f -> catmap (\x -> [test (f,x)]) x2) f2)
+  rule #0: tests = puts "*** UNARY ***"$$do (\f -> catmap (\x -> [test (f,x)]) x) f$$puts "*** BINARY ***"$$do (\f -> catmap (\x -> [test (f,x)]) x2) f2
   state 0: #0
 }
 *** UNARY ***


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