diff options
author | dos-reis <gdr@axiomatics.org> | 2007-10-23 00:40:44 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2007-10-23 00:40:44 +0000 |
commit | b8ea2a7e1dd82523bc4afe544e4473b91e2bc105 (patch) | |
tree | 83833155a02c59e0abd18dfdfe410aedb9d708b7 /src/interp | |
parent | ae075acf52f2a1ce820deb0b4ac8a5e0e6080773 (diff) | |
download | open-axiom-b8ea2a7e1dd82523bc4afe544e4473b91e2bc105.tar.gz |
* g-util.boot (formatUnabbreviatedSig): Translate '$' to '%'
before printing.
Diffstat (limited to 'src/interp')
-rw-r--r-- | src/interp/ChangeLog | 5 | ||||
-rw-r--r-- | src/interp/g-util.boot | 4 |
2 files changed, 7 insertions, 2 deletions
diff --git a/src/interp/ChangeLog b/src/interp/ChangeLog index 14955f59..784c6364 100644 --- a/src/interp/ChangeLog +++ b/src/interp/ChangeLog @@ -1,5 +1,10 @@ 2007-10-22 Gabriel Dos Reis <gdr@cs.tamu.edu> + * g-util.boot (formatUnabbreviatedSig): Translate '$' to '%' + before printing. + +2007-10-22 Gabriel Dos Reis <gdr@cs.tamu.edu> + * c-doc.boot.pamphlet (escapePercent): New. (transformAndRecheckComments): Use it. diff --git a/src/interp/g-util.boot b/src/interp/g-util.boot index ae571bd9..5908287c 100644 --- a/src/interp/g-util.boot +++ b/src/interp/g-util.boot @@ -345,8 +345,8 @@ spadThrowBrightly x == --% Type Formatting Without Abbreviation formatUnabbreviatedSig sig == - null sig => ["() -> ()"] - [target,:args] := sig + null sig => ['"() -> ()"] + [target,:args] := dollarPercentTran sig target := formatUnabbreviated target null args => ['"() -> ",:target] null rest args => [:formatUnabbreviated QCAR args,'" -> ",:target] |