From beb923feadbabd89f92eb61dc6284d41eeccd540 Mon Sep 17 00:00:00 2001 From: dos-reis Date: Mon, 9 Nov 2009 01:58:44 +0000 Subject: Fix SF/2893009 * algebra/syntax.spad.pamphlet (ParameterAst): New. (HeadAst): Use it. * testsuite/interpreter/sf-2893009.input: Likewise. * testsuite/interpreter/sf-2893009.spad: New. --- src/testsuite/interpreter/sf-2893009.input | 4 ++++ src/testsuite/interpreter/sf-2893009.spad | 7 +++++++ 2 files changed, 11 insertions(+) create mode 100644 src/testsuite/interpreter/sf-2893009.input create mode 100644 src/testsuite/interpreter/sf-2893009.spad (limited to 'src/testsuite') 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 + + -- cgit v1.2.3