aboutsummaryrefslogtreecommitdiff
path: root/src/testsuite/compiler
diff options
context:
space:
mode:
authordos-reis <gdr@axiomatics.org>2008-01-13 18:21:21 +0000
committerdos-reis <gdr@axiomatics.org>2008-01-13 18:21:21 +0000
commitef479d62b3218ebc50dd470efd04cb5607a276d1 (patch)
tree06c7242a02de5584d18e51ddba6dae70c5a6747e /src/testsuite/compiler
parent48dd06b3020b5ff471da669acb961bf6935bda42 (diff)
downloadopen-axiom-ef479d62b3218ebc50dd470efd04cb5607a276d1.tar.gz
Fix SF/1867459
* interp/postpar.boot (postError): Fix thinko. * interp/parse.boot ($defOp): Define. * testsuite/compiler/1867459.spad: New.
Diffstat (limited to 'src/testsuite/compiler')
-rw-r--r--src/testsuite/compiler/1867459.spad8
1 files changed, 8 insertions, 0 deletions
diff --git a/src/testsuite/compiler/1867459.spad b/src/testsuite/compiler/1867459.spad
new file mode 100644
index 00000000..67ed4930
--- /dev/null
+++ b/src/testsuite/compiler/1867459.spad
@@ -0,0 +1,8 @@
+++ Contributed by Luke Wagner.
+)abbrev package FOO Foo
+
+Foo() : with
+ foo : Integer -> Integer
+ == add
+ foo i -- missing ==
+ i