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 | |
parent | 756be6762bffe66aae436b9189eae275f3c11fa6 (diff) | |
download | open-axiom-04a318d38f06e117778e4253f061559f48b217b6.tar.gz |
* interp/format.boot (form2String1): Handle string literals
masquerading as constructors.
-rw-r--r-- | src/ChangeLog | 5 | ||||
-rw-r--r-- | src/interp/format.boot | 3 |
2 files changed, 8 insertions, 0 deletions
diff --git a/src/ChangeLog b/src/ChangeLog index 972d6e0d..2f25113c 100644 --- a/src/ChangeLog +++ b/src/ChangeLog @@ -1,5 +1,10 @@ 2010-12-15 Gabriel Dos Reis <gdr@cs.tamu.edu> + * interp/format.boot (form2String1): Handle string literals + masquerading as constructors. + +2010-12-15 Gabriel Dos Reis <gdr@cs.tamu.edu> + * interp/format.boot: More fixes for confusion between strings and symbols. 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) |