From 82b4511dffa72a7521bd751ccb7d220ed4f2f7ae Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Fri, 25 Jan 2008 05:21:41 +0000
Subject: 	Fix AW/272 	* interp/i-spec1.boot (compileADEFBody): Don't
 evaluate unnamed 	functions.  Compile them instead. 	*
 testsuite/interpreter/aw-272.input: New.

---
 src/testsuite/interpreter/aw-272.input | 18 ++++++++++++++++++
 1 file changed, 18 insertions(+)
 create mode 100644 src/testsuite/interpreter/aw-272.input

(limited to 'src/testsuite/interpreter/aw-272.input')

diff --git a/src/testsuite/interpreter/aw-272.input b/src/testsuite/interpreter/aw-272.input
new file mode 100644
index 00000000..1d81fe00
--- /dev/null
+++ b/src/testsuite/interpreter/aw-272.input
@@ -0,0 +1,18 @@
+++ Contributed by <unknown>
+-- Issue: variables local to unnamed functions incorrectly handled.
+
+f x == 
+  a := 3 
+  x + a
+
+f 3
+
+
+g := x +-> (x+2 ; x+a)
+
+g 3
+
+h := x +-> (a := 3 ; x+a)
+
+h 3
+
-- 
cgit v1.2.3