diff options
| author | dos-reis <gdr@axiomatics.org> | 2009-11-09 01:58:44 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2009-11-09 01:58:44 +0000 |
| commit | beb923feadbabd89f92eb61dc6284d41eeccd540 (patch) | |
| tree | 01c1c0e0eb6a9c2ab0bfa0aed9250e1f3f99cfaa /src/testsuite | |
| parent | 90e75eb56b50a8fb87dc241f5bba0c78aec8c973 (diff) | |
| download | open-axiom-beb923feadbabd89f92eb61dc6284d41eeccd540.tar.gz | |
Fix SF/2893009
* algebra/syntax.spad.pamphlet (ParameterAst): New.
(HeadAst): Use it.
* testsuite/interpreter/sf-2893009.input: Likewise.
* testsuite/interpreter/sf-2893009.spad: New.
Diffstat (limited to 'src/testsuite')
| -rw-r--r-- | src/testsuite/interpreter/sf-2893009.input | 4 | ||||
| -rw-r--r-- | src/testsuite/interpreter/sf-2893009.spad | 7 |
2 files changed, 11 insertions, 0 deletions
diff --git a/src/testsuite/interpreter/sf-2893009.input b/src/testsuite/interpreter/sf-2893009.input new file mode 100644 index 00000000..bbe38205 --- /dev/null +++ b/src/testsuite/interpreter/sf-2893009.input @@ -0,0 +1,4 @@ +-- Check that flags parameters are represented correctly, e.g. +-- as literal strings, not symbol. +s := first parse "sf-2893009.spad" +s :: DefinitionAst diff --git a/src/testsuite/interpreter/sf-2893009.spad b/src/testsuite/interpreter/sf-2893009.spad new file mode 100644 index 00000000..f3ae63a7 --- /dev/null +++ b/src/testsuite/interpreter/sf-2893009.spad @@ -0,0 +1,7 @@ +-- This is a support file for "f-2893009.input. +-- Check that flags parameters are represented correctly, e.g. +-- as literal strings, not symbol. + +elt(x,"left") == left x + + |