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 | |
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')
-rw-r--r-- | src/interp/c-util.boot | 2 | ||||
-rw-r--r-- | src/interp/sys-utility.boot | 6 |
2 files changed, 7 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) == diff --git a/src/interp/sys-utility.boot b/src/interp/sys-utility.boot index 510f5080..aee7a0be 100644 --- a/src/interp/sys-utility.boot +++ b/src/interp/sys-utility.boot @@ -75,6 +75,12 @@ getVMType d == #rest d' > 2 => "%Shell" "%Pair" IndexedList => "%List" + Int8 => ["SIGNED-BYTE", 8] + Int16 => ["SIGNED-BYTE", 16] + Int32 => ["SIGNED-BYTE", 32] + UInt8 => ["UNSIGNED-BYTE", 8] + UInt16 => ["UNSIGNED-BYTE", 16] + UInt32 => ["UNSIGNED-BYTE", 32] otherwise => "%Thing" -- good enough, for now. --% |