aboutsummaryrefslogtreecommitdiff
path: root/src/testsuite/interpreter
diff options
context:
space:
mode:
authordos-reis <gdr@axiomatics.org>2008-01-25 05:21:41 +0000
committerdos-reis <gdr@axiomatics.org>2008-01-25 05:21:41 +0000
commit82b4511dffa72a7521bd751ccb7d220ed4f2f7ae (patch)
tree57de30c4d1472a7b0e41275f9f5c01fd82516684 /src/testsuite/interpreter
parent3457ed0779198d8ecec53f4c80b97313e82fdc11 (diff)
downloadopen-axiom-82b4511dffa72a7521bd751ccb7d220ed4f2f7ae.tar.gz
Fix AW/272
* interp/i-spec1.boot (compileADEFBody): Don't evaluate unnamed functions. Compile them instead. * testsuite/interpreter/aw-272.input: New.
Diffstat (limited to 'src/testsuite/interpreter')
-rw-r--r--src/testsuite/interpreter/aw-272.input18
1 files changed, 18 insertions, 0 deletions
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
+