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

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

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

Log Message:
-----------
Add regression test for nested 'with' environments.

Added Paths:
-----------
    pure/trunk/test/test016.log
    pure/trunk/test/test016.pure

Added: pure/trunk/test/test016.log
===================================================================
--- pure/trunk/test/test016.log	                        (rev 0)
+++ pure/trunk/test/test016.log	2008-08-09 10:52:33 UTC (rev 456)
@@ -0,0 +1,44 @@
+(foo/*0*/ x with foo x/*0:1*/ = x/*0:1*/^3 {
+  rule #0: foo x = x^3
+  state 0: #0
+	<var> state 1
+  state 1: #0
+} end)+(foo/*0*/ x with foo x/*0:1*/ = 2*x/*0:1*/ {
+  rule #0: foo x = 2*x
+  state 0: #0
+	<var> state 1
+  state 1: #0
+} end);
+x^3+2*x
+(foo/*0*/ x with foo x/*0:1*/ = x/*0:1*/^3 {
+  rule #0: foo x = x^3
+  state 0: #0
+	<var> state 1
+  state 1: #0
+} end)+(foo/*0*/ x with foo = (+) 1 {
+  rule #0: foo = (+) 1
+  state 0: #0
+} end with foo x/*0:1*/ = 2*x/*0:1*/ {
+  rule #0: foo x = 2*x
+  state 0: #0
+	<var> state 1
+  state 1: #0
+} end);
+x^3+(1+x)
+(foo/*0*/ x with foo x/*0:1*/ = x/*0:1*/^3 {
+  rule #0: foo x = x^3
+  state 0: #0
+	<var> state 1
+  state 1: #0
+} end)+(foo/*0:*/ x when foo/*0:*/ = (+) 1 {
+  rule #0: foo = (+) 1
+  state 0: #0
+	<var> state 1
+  state 1: #0
+} end with foo x/*0:1*/ = 2*x/*0:1*/ {
+  rule #0: foo x = 2*x
+  state 0: #0
+	<var> state 1
+  state 1: #0
+} end);
+x^3+(1+x)

Added: pure/trunk/test/test016.pure
===================================================================
--- pure/trunk/test/test016.pure	                        (rev 0)
+++ pure/trunk/test/test016.pure	2008-08-09 10:52:33 UTC (rev 456)
@@ -0,0 +1,5 @@
+// test handling of nested 'with' environments
+
+(foo x with foo x = x^3 end) + (foo x with foo x = 2*x end);
+(foo x with foo x = x^3 end) + (foo x with foo = (+) 1 end with foo x = 2*x end);
+(foo x with foo x = x^3 end) + (foo x when foo = (+) 1 end with foo x = 2*x end);


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