diff options
author | dos-reis <gdr@axiomatics.org> | 2007-10-22 23:16:26 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2007-10-22 23:16:26 +0000 |
commit | ae075acf52f2a1ce820deb0b4ac8a5e0e6080773 (patch) | |
tree | b41d1ed2af4329f50acaf646e97a0450dc23716e /src/interp | |
parent | aec698a2470c145d0e3dfb0cb346bb52f0f2ed25 (diff) | |
download | open-axiom-ae075acf52f2a1ce820deb0b4ac8a5e0e6080773.tar.gz |
* c-doc.boot.pamphlet (escapePercent): New.
(transformAndRecheckComments): Use it.
Diffstat (limited to 'src/interp')
-rw-r--r-- | src/interp/ChangeLog | 5 | ||||
-rw-r--r-- | src/interp/c-doc.boot.pamphlet | 14 |
2 files changed, 18 insertions, 1 deletions
diff --git a/src/interp/ChangeLog b/src/interp/ChangeLog index 37b13828..14955f59 100644 --- a/src/interp/ChangeLog +++ b/src/interp/ChangeLog @@ -1,5 +1,10 @@ 2007-10-22 Gabriel Dos Reis <gdr@cs.tamu.edu> + * c-doc.boot.pamphlet (escapePercent): New. + (transformAndRecheckComments): Use it. + +2007-10-22 Gabriel Dos Reis <gdr@cs.tamu.edu> + * br-data.boot.pamphlet (getImports): Rename `import' to `doImport'. * define.boot.pamphlet (hasSigInTargetCategory): Pretty-print signature in diagnostics. diff --git a/src/interp/c-doc.boot.pamphlet b/src/interp/c-doc.boot.pamphlet index d1d0949c..e697614b 100644 --- a/src/interp/c-doc.boot.pamphlet +++ b/src/interp/c-doc.boot.pamphlet @@ -270,13 +270,25 @@ checkExtractItemList l == --items are separated by commas or end of line -- if (t := trimString SUBSTRING(string,i,k-i)) ^= '"" then acc := [t,:acc] -- acc +++ Translate '%' in signature to '%%' for proper printing. +escapePercent x == + x is [y, :z] => + y1 := escapePercent y + z1 := escapePercent z + EQ(y, y1) and EQ(z, z1) => x + [y1, :z1] + x = "%" => "%%" + x + transformAndRecheckComments(name,lines) == $checkingXmptex? := false $x : local := name $name : local := 'GlossaryPage $origin : local := 'gloss $recheckingFlag : local := false - $exposeFlagHeading : local := ['"--------",name,'"---------"] + $exposeFlagHeading : local := + atom name => ['" -- ",name] + concat('" --",formatOpSignature(name.0, escapePercent name.1)) if null $exposeFlag then sayBrightly $exposeFlagHeading u := checkComments(name,lines) $recheckingFlag := true |