diff options
| author | dos-reis <gdr@axiomatics.org> | 2008-11-24 02:53:25 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2008-11-24 02:53:25 +0000 |
| commit | 5b693510bb2368f453b71086fcd1916cee7fea82 (patch) | |
| tree | 15f3680440bfa6293ceaa341cd73116bffc768d3 /src/interp/i-output.boot | |
| parent | 81dc2af2e2cab54deda566b72949d3d58ee532bf (diff) | |
| download | open-axiom-5b693510bb2368f453b71086fcd1916cee7fea82.tar.gz | |
* interp/i-output.boot ($RecordSeparator): New.
(maprin): Use it. Separate record in lean mode.
* interp/sys-globals.boot ($leanMode): Define.
* interp/sys-driver.boot (systemMain): Initialize.
* interp/ht-util.boot (executeInterpreterCommand): Print prompt
only in non-lean mode.
* interp/int-top.boot (SpadInterpretStream): Likewise.
(intloopReadConsole): Likewise.
* interp/metalex.lisp (get-a-line): Likewise.
* interp/server.boot: Likewise.
Diffstat (limited to 'src/interp/i-output.boot')
| -rw-r--r-- | src/interp/i-output.boot | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/interp/i-output.boot b/src/interp/i-output.boot index 4d4841a1..806aa8a7 100644 --- a/src/interp/i-output.boot +++ b/src/interp/i-output.boot @@ -164,6 +164,10 @@ $plainRTspecialCharacters == [ '_\ -- back slash ] +++ End of Transmission character; usually to the Algebra Output +++ Stream in lean mode. +$RecordSeparator == CODE_-CHAR 30 + makeCharacter n ==> INTERN(STRING(CODE_-CHAR n)) $RTspecialCharacters == [ @@ -1122,6 +1126,8 @@ maprinSpecial(x,$MARGIN,$LINELENGTH) == maprin0 x maprin x == if $demoFlag=true then recordOrCompareDemoResult x CATCH('output,maprin0 x) + $leanMode and + WRITE($RecordSeparator,KEYWORD::STREAM,$algebraOutputStream) nil maprin0 x == |