diff options
| author | dos-reis <gdr@axiomatics.org> | 2010-12-15 14:42:13 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2010-12-15 14:42:13 +0000 |
| commit | 7fec31d29bd8ca5d8a2c718caeacd5a2ed006ec1 (patch) | |
| tree | d1da6dea56977fdb3879c361f27ab309a8fb384d /src/interp/msgdb.boot | |
| parent | abc74d7854a504c94f6f66d997d3a2448a0c0322 (diff) | |
| download | open-axiom-7fec31d29bd8ca5d8a2c718caeacd5a2ed006ec1.tar.gz | |
* interp/format.boot (formDecl2String): Tidy.
* interp/i-toplev.boot (printTypeAndTimeNormal): Likewise.
* interp/msgdb.boot (applyPrefix2String): Likewise.
Diffstat (limited to 'src/interp/msgdb.boot')
| -rw-r--r-- | src/interp/msgdb.boot | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/src/interp/msgdb.boot b/src/interp/msgdb.boot index efa3ddff..7bc7cc3c 100644 --- a/src/interp/msgdb.boot +++ b/src/interp/msgdb.boot @@ -156,12 +156,15 @@ removeAttributes msg == applyPrefix2String args == [:f x for x in args] where f x == - -- FIXME: we should in fact check for formatting codes - cons? x => g x - [x] + listify + cons? x => g x -- FIXME: should check for formatting codes + x g x == $texFormatting => prefix2StringAsTeX x prefix2String x + listify x == + cons? x => x + [x] substituteSegmentedMsg(msg,args) == -- this does substitution of the parameters |