diff options
| author | dos-reis <gdr@axiomatics.org> | 2008-01-13 18:21:21 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2008-01-13 18:21:21 +0000 |
| commit | ef479d62b3218ebc50dd470efd04cb5607a276d1 (patch) | |
| tree | 06c7242a02de5584d18e51ddba6dae70c5a6747e /src/testsuite | |
| parent | 48dd06b3020b5ff471da669acb961bf6935bda42 (diff) | |
| download | open-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')
| -rw-r--r-- | src/testsuite/compiler/1867459.spad | 8 |
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 |