diff options
author | dos-reis <gdr@axiomatics.org> | 2010-12-16 03:09:57 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2010-12-16 03:09:57 +0000 |
commit | 04a318d38f06e117778e4253f061559f48b217b6 (patch) | |
tree | 3412526dc50f9b082ca258c4cf49c174ec267132 /src/interp | |
parent | 756be6762bffe66aae436b9189eae275f3c11fa6 (diff) | |
download | open-axiom-04a318d38f06e117778e4253f061559f48b217b6.tar.gz |
* interp/format.boot (form2String1): Handle string literals
masquerading as constructors.
Diffstat (limited to 'src/interp')
-rw-r--r-- | src/interp/format.boot | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/interp/format.boot b/src/interp/format.boot index 31533e4d..2339954b 100644 --- a/src/interp/format.boot +++ b/src/interp/format.boot @@ -394,6 +394,9 @@ form2String1 u == stringImage u u1 := u [op,:argl] := u + string? op and argl = nil => + -- string literals (e.g. "failed") masquerading as constructors + stringImage op op='Join or op= 'mkCategory => formJoin1(op,argl) $InteractiveMode and IDENTP op and (u:= constructor? op) => null argl => app2StringWrap(formWrapId constructorName op, u1) |