diff options
author | dos-reis <gdr@axiomatics.org> | 2008-03-03 12:10:04 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2008-03-03 12:10:04 +0000 |
commit | 44867f29f1b266f6a285a54202abec370c28e7d7 (patch) | |
tree | c45c9a19fccd994f48c4c02b07c4d30274df182b /src/interp/i-output.boot | |
parent | bd371dff087150c946a48a34299aabc893580ffe (diff) | |
download | open-axiom-44867f29f1b266f6a285a54202abec370c28e7d7.tar.gz |
* interp/i-analy.boot (bottomUp): Don't record constructor
instantiations representations in interactive environments.
* interp/i-eval.boot (evaluateFormAsType): New.
(evaluateType): Use it.
(evaluateType1): Tidy.
* interp/i-output.boot (output): Tidy.
* interp/i-object.boot ($genValue): Define here.
* interp/sys-dirver.boot ($verbose): Rename from
$verboseInterpreter.
* interp/i-map.boot (genMapCode): Propagate $verbose renaming.
* interp/slam.boot (compileRecurrenceRelation): Likewise.
Diffstat (limited to 'src/interp/i-output.boot')
-rw-r--r-- | src/interp/i-output.boot | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/interp/i-output.boot b/src/interp/i-output.boot index ca2a31d8..f08cf82f 100644 --- a/src/interp/i-output.boot +++ b/src/interp/i-output.boot @@ -1383,7 +1383,7 @@ output(expr,domain) == if $formulaFormat then formulaFormat expr if $texFormat then texFormat expr if $algebraFormat then mathprintWithNumber expr - categoryForm? domain or domain in '((Mode) (Type)) => + categoryForm? domain or domain in '((Mode) (Domain) (Type)) => if $algebraFormat then mathprintWithNumber outputDomainConstructor expr if $texFormat then |