diff options
author | dos-reis <gdr@axiomatics.org> | 2009-01-09 16:11:08 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2009-01-09 16:11:08 +0000 |
commit | 5810cb6f263679851a135691a7ee483fda959472 (patch) | |
tree | fc4b7f7262ba55af23cafd1303bd60db447e7789 /src/interp/c-util.boot | |
parent | 1bdcca4e5a17ffeb4542c689a705b11b9c6a35cb (diff) | |
download | open-axiom-5810cb6f263679851a135691a7ee483fda959472.tar.gz |
* algebra/data.spad.pamphlet (Byte): Satisfy OrderedFinite.
(SystemInteger, SystemNonNegativeInteger, Int8, Int16, Int32,
UInt8, UInt 16, UInt32): New.
* algebra/Makefile.pamphlet (axiom_algebra_layer_7): Include INT8,
INT16, INT32, UINT8, UINT16, UINT32.
Diffstat (limited to 'src/interp/c-util.boot')
-rw-r--r-- | src/interp/c-util.boot | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/interp/c-util.boot b/src/interp/c-util.boot index 5ccaaa26..89173ac0 100644 --- a/src/interp/c-util.boot +++ b/src/interp/c-util.boot @@ -1113,7 +1113,7 @@ proclaimCapsuleFunction(op,sig) == -- We want accurate approximation for subdomains/superdomains -- that are specialized and known to the VM. (m := getVMType normalize $functorForm) = "%Thing" => - getVMType normalize $ + getVMType normalize "$" m getVMType normalize d normalize(d,top? == true) == |