diff options
author | dos-reis <gdr@axiomatics.org> | 2010-12-12 21:25:26 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2010-12-12 21:25:26 +0000 |
commit | 245f4067091550d9d89bc25b5e2e8c95729354b7 (patch) | |
tree | df82fbfbfe47498d59ac7f7fc9528552aae5d681 /src/interp/msgdb.boot | |
parent | 51828facc9bb3dd130b723cb49b1b5eff04231dd (diff) | |
download | open-axiom-245f4067091550d9d89bc25b5e2e8c95729354b7.tar.gz |
Tidy expression matching against strings
Diffstat (limited to 'src/interp/msgdb.boot')
-rw-r--r-- | src/interp/msgdb.boot | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/interp/msgdb.boot b/src/interp/msgdb.boot index dbb08f18..26878aac 100644 --- a/src/interp/msgdb.boot +++ b/src/interp/msgdb.boot @@ -563,12 +563,13 @@ brightPrint(x,out == $OutputStream) == brightPrint0(x,out == $OutputStream) == $texFormatting => brightPrint0AsTeX(x,out) if IDENTP x then x := PNAME x + not string? x => brightPrintHighlight(x,out) -- if the first character is a backslash and the second is a percent sign, -- don't try to give the token any special interpretation. Just print -- it without the backslash. - string? x and STRINGLENGTH x > 1 and x.0 = char "\" and x.1 = char "%" => + STRINGLENGTH x > 1 and x.0 = char "\" and x.1 = char "%" => sayString(SUBSTRING(x,1,NIL),out) x = '"%l" => sayNewLine(out) @@ -597,8 +598,7 @@ brightPrint0(x,out == $OutputStream) == or stdStreamIsTerminal(1) = 0 => sayString('" ",out) not $highlightAllowed => sayString('" ",out) sayString($highlightFontOff,out) - string? x => sayString(x,out) - brightPrintHighlight(x,out) + sayString(x,out) brightPrint0AsTeX(x, out == $OutputStream) == x = '"%l" => |