diff options
| author | dos-reis <gdr@axiomatics.org> | 2009-01-11 00:19:02 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2009-01-11 00:19:02 +0000 |
| commit | 3abfe0a7f15ff760fe7c6f95957f705e1301bfc6 (patch) | |
| tree | d69a7974c8503588821d8cd5402eecb17ef3d675 /src | |
| parent | d813447db270d12283436a70e3ed6ef6887016e0 (diff) | |
| download | open-axiom-3abfe0a7f15ff760fe7c6f95957f705e1301bfc6.tar.gz | |
Fix SF/2491986
* interp/i-syscmd.boot (displayValue): Fix thinko.
* testsuite/interpreter/sf-2491986.input (a): New.
Diffstat (limited to 'src')
| -rw-r--r-- | src/ChangeLog | 6 | ||||
| -rw-r--r-- | src/interp/i-syscmd.boot | 2 | ||||
| -rw-r--r-- | src/testsuite/interpreter/sf-2491986.input | 4 |
3 files changed, 11 insertions, 1 deletions
diff --git a/src/ChangeLog b/src/ChangeLog index ff7d3a44..daccd105 100644 --- a/src/ChangeLog +++ b/src/ChangeLog @@ -1,5 +1,11 @@ 2009-01-10 Gabriel Dos Reis <gdr@cs.tamu.edu> + Fix SF/2491986 + * interp/i-syscmd.boot (displayValue): Fix thinko. + * testsuite/interpreter/sf-2491986.input (a): New. + +2009-01-10 Gabriel Dos Reis <gdr@cs.tamu.edu> + * interp/parse.boot ($parsingType): New. (parseType): New. Parse types forms. (parseTypeList): New. Parse list of type forms. diff --git a/src/interp/i-syscmd.boot b/src/interp/i-syscmd.boot index a64c0d97..c936105e 100644 --- a/src/interp/i-syscmd.boot +++ b/src/interp/i-syscmd.boot @@ -1266,7 +1266,7 @@ displayValue($op,u,omitVariableNameIfTrue) == STRCONC('"Value of ", PNAME $op,'": ") labmode := prefix2String objMode(u) if ATOM labmode then labmode := [labmode] - getConstructorKindFromDB expr = "domain" => + IDENTP expr and getConstructorKindFromDB expr = "domain" => sayMSG concat('" ",label,labmode,rhs,form2String expr) mathprint ['CONCAT,label,:labmode,rhs, outputFormat(expr,objMode(u))] diff --git a/src/testsuite/interpreter/sf-2491986.input b/src/testsuite/interpreter/sf-2491986.input new file mode 100644 index 00000000..a365c0ce --- /dev/null +++ b/src/testsuite/interpreter/sf-2491986.input @@ -0,0 +1,4 @@ +-- Contributed by Grégory Vanuxem. +a := 1/7 +)display value a + |