diff options
author | dos-reis <gdr@axiomatics.org> | 2008-01-27 17:52:17 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2008-01-27 17:52:17 +0000 |
commit | 58cae19381750526539e986ca1de122803ac2293 (patch) | |
tree | 24c77cb7e745a5072eac5dde2503820de3c376f9 /src/interp/sys-globals.boot | |
parent | a388d36abab4b55733a8e2c19b1a8ec882274fa8 (diff) | |
download | open-axiom-58cae19381750526539e986ca1de122803ac2293.tar.gz |
Fix SF/1872551
* interp/c-util.boot (dollarIfRepHack): New.
(RepIfRepHack): Likewise.
(substituteDollarIfRepHack): Likewise.
(isSubset): Dollar is subset of Rep only in old semantics.
* interp/buildom.boot (mkMappingFunList): Substitute dollar for
Rep only when appropriate.
(mkRecordFunList): Likewise.
(mkNewUnionFunList): Likewise.
(mkUnionFunList): Likewise.
* interp/compiler.boot (compNoStacking): Likewise.
(compNoStacking1): Likewise.
(getConstructorFormOfMode): Likewise.
(isUnionMode): Likewise.
(coerce): Likewise.
(coerceSubset): Likewise.
* interp/modemap.boot (addModemap1): Likewise.
(isSuperDomain): Likewise.
* interp/define.boot (maybeInsertViewMorphisms): New.
(compCapsule): Use it.
(compCategoryItem): Don't allow exports of rep and per.
* interp/sys-globals.boot ($useRepresentationHack): New.
Diffstat (limited to 'src/interp/sys-globals.boot')
-rw-r--r-- | src/interp/sys-globals.boot | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/interp/sys-globals.boot b/src/interp/sys-globals.boot index cc7242d2..777b890f 100644 --- a/src/interp/sys-globals.boot +++ b/src/interp/sys-globals.boot @@ -440,3 +440,9 @@ $compilingInputFile := false ++ $minivectorNames := [] + +++ True if the input file uses old semantics of `Rep', +++ e.g. implicit equivalent Rep <-> % with capsules. +++ This semenatics is in effect only when `Rep' is defined +++ through assignment. +$useRepresentationHack := true |