From 30e90e4c85eb1fb101ed06b22802d36dbc0df2d2 Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Wed, 7 May 2008 15:17:39 +0000
Subject: 	* interp/types.boot (%Integer): Alias for Lisp INTEGER class. 
 * interp/sys-utility.boot (getVMType): Integer is represented by 
 %Integer. 	* interp/postpar.boot (postSignature): Don't ignore constants.

---
 src/ChangeLog               | 7 +++++++
 src/interp/postpar.boot     | 1 +
 src/interp/sys-utility.boot | 3 +--
 src/interp/types.boot       | 5 ++++-
 4 files changed, 13 insertions(+), 3 deletions(-)

(limited to 'src')

diff --git a/src/ChangeLog b/src/ChangeLog
index 925b7244..4d4df610 100644
--- a/src/ChangeLog
+++ b/src/ChangeLog
@@ -1,3 +1,10 @@
+2008-05-07  Gabriel Dos Reis  <gdr@cs.tamu.edu>
+
+	* interp/types.boot (%Integer): Alias for Lisp INTEGER class.
+	* interp/sys-utility.boot (getVMType): Integer is represented by
+	%Integer. 
+	* interp/postpar.boot (postSignature): Don't ignore constants.
+
 2008-05-06  Gabriel Dos Reis  <gdr@cs.tamu.edu>
 
 	* interp/define.boot: Explicitly initialize fluid variables.
diff --git a/src/interp/postpar.boot b/src/interp/postpar.boot
index afb39ff7..15b43600 100644
--- a/src/interp/postpar.boot
+++ b/src/interp/postpar.boot
@@ -505,6 +505,7 @@ postSignature t ==
     sig1:= postType sig
     op:= postAtom (STRINGP op => INTERN op; op)
     ["SIGNATURE",op,:removeSuperfluousMapping killColons sig1]
+  ["SIGNATURE",postAtom op,:postType ["->","constant",sig]]
 
 killColons: %ParseTree -> %ParseForm
 killColons x ==
diff --git a/src/interp/sys-utility.boot b/src/interp/sys-utility.boot
index fa14650e..0c1d62e0 100644
--- a/src/interp/sys-utility.boot
+++ b/src/interp/sys-utility.boot
@@ -51,7 +51,7 @@ getVMType d ==
     Byte => "%Byte"
     Character => "%Char"
     SingleInteger => "%Short"
---    Integer => "%Bignum"
+    Integer => "%Integer"
     String => "%String"
     List => "%List"
     Vector => ["%Vector",getVMType second d']
@@ -59,7 +59,6 @@ getVMType d ==
     Pair => "%Pair"
     otherwise => "%Thing"                 -- good enough, for now.
 
-
 --%
 
 setDynamicBinding: (%Symbol,%Thing) -> %Thing
diff --git a/src/interp/types.boot b/src/interp/types.boot
index 06b8b9b8..72db77ab 100644
--- a/src/interp/types.boot
+++ b/src/interp/types.boot
@@ -60,6 +60,9 @@ import boot_-pkg
 %Bignum <=> 
   BIGNUM
 
+%Integer <=>
+  INTEGER
+
 ++ Type of single precision floating point numbers.  Most of the
 ++ time, this is a 32-bit datatype.
 %SingleFloat <=>
@@ -114,7 +117,7 @@ import boot_-pkg
   cons(%Code,cons(%Mode,cons(%Env,null))) 
 
 %Signature                      -- signature
-  <=> cons
+  <=> %Symbol or cons
 
 %Modemap <=> %List                             -- modemap
 
-- 
cgit v1.2.3