diff options
| author | dos-reis <gdr@axiomatics.org> | 2010-08-25 01:24:19 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2010-08-25 01:24:19 +0000 |
| commit | 7ffa34642e7d2671da8664936befb5fcd78c37c0 (patch) | |
| tree | 988effba4da1f43daa9b40a78e87dd7c844909a9 /src/interp/i-toplev.boot | |
| parent | ea2ea538c6a308bfc1ca17142ad3e272f5758e80 (diff) | |
| download | open-axiom-7ffa34642e7d2671da8664936befb5fcd78c37c0.tar.gz | |
* interp/br-saturn.boot ($saturn): Define here.
* interp/br-search.boot: Remove $saturn-related codes.
* interp/g-error.boot: Likewise.
* interp/ht-root.boot: Likewise.
* interp/ht-util.boot: Likewise.
* interp/i-output.boot: Likewise.
* interp/i-syscmd.boot: Likewise.
* interp/i-toplev.boot: Likewise.
* interp/msgdb.boot: Likewise.
* interp/patches.lisp: Likewise.
Diffstat (limited to 'src/interp/i-toplev.boot')
| -rw-r--r-- | src/interp/i-toplev.boot | 26 |
1 files changed, 0 insertions, 26 deletions
diff --git a/src/interp/i-toplev.boot b/src/interp/i-toplev.boot index a2d0b30c..c0f786f2 100644 --- a/src/interp/i-toplev.boot +++ b/src/interp/i-toplev.boot @@ -210,7 +210,6 @@ recordAndPrint(x,md) == 'done printTypeAndTime(x,m) == --m is the mode/type of the result - $saturn => printTypeAndTimeSaturn(x, m) printTypeAndTimeNormal(x, m) printTypeAndTimeNormal(x,m) == @@ -234,31 +233,6 @@ printTypeAndTimeNormal(x,m) == $outputLines := [justifyMyType msgText("S2GL0012", [m]), :$outputLines] sayKeyedMsg("S2GL0012",[m]) -printTypeAndTimeSaturn(x, m) == - -- header - if $printTimeIfTrue then - timeString := makeLongTimeString($interpreterTimedNames, - $interpreterTimedClasses) - else - timeString := '"" - if $printTypeIfTrue then - typeString := form2StringAsTeX devaluate m - else - typeString := '"" - if $printTypeIfTrue then - printAsTeX('"\axPrintType{") - if cons? typeString then - MAPC(FUNCTION printAsTeX, typeString) - else - printAsTeX(typeString) - printAsTeX('"}") - if $printTimeIfTrue then - printAsTeX('"\axPrintTime{") - printAsTeX(timeString) - printAsTeX('"}") - -printAsTeX(x) == PRINC(x, $texOutputStream) - sameUnionBranch(uArg, m) == uArg is [":", ., t] => t = m uArg = m |