From 5810cb6f263679851a135691a7ee483fda959472 Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Fri, 9 Jan 2009 16:11:08 +0000
Subject: 	* 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.

---
 src/interp/c-util.boot      | 2 +-
 src/interp/sys-utility.boot | 6 ++++++
 2 files changed, 7 insertions(+), 1 deletion(-)

(limited to 'src/interp')

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.
 
 --%
-- 
cgit v1.2.3