From: Stephen Adams <edu/mit/csail/zurich/adams>
Date: Sat, 4 Nov 1995 16:36:29 +0000 (+0000)
Subject: Added signatures for OBJECT-TYPE and OBJECT-DATUM.
X-Git-Tag: 20090517-FFI~5764
X-Git-Url: https://birchwood-abbey.net/git?a=commitdiff_plain;h=cfb95ee304fb2ccd8c5b5213a7db1aa38d7f48a3;p=mit-scheme.git

Added signatures for OBJECT-TYPE and OBJECT-DATUM.
---

diff --git a/v8/src/compiler/midend/typedb.scm b/v8/src/compiler/midend/typedb.scm
index 3e161f80b..195f7207e 100644
--- a/v8/src/compiler/midend/typedb.scm
+++ b/v8/src/compiler/midend/typedb.scm
@@ -1,6 +1,6 @@
 #| -*-Scheme-*-
 
-$Id: typedb.scm,v 1.4 1995/11/03 21:11:31 adams Exp $
+$Id: typedb.scm,v 1.5 1995/11/04 16:36:29 adams Exp $
 
 Copyright (c) 1995 Massachusetts Institute of Technology
 
@@ -157,10 +157,23 @@ MIT in each case. |#
 			    'function))
 
 (define-operator-type (make-primitive-procedure 'ASCII->CHAR)
-  (primitive-procedure-type (list type:unsigned-byte type:character)
+  (primitive-procedure-type (list type:unsigned-byte) type:character
 			    'function))
 
 
+
+;; If we had more refined integer types, we could do better with
+;; OBJECT-TYPE.
+(define-operator-type (make-primitive-procedure 'OBJECT-TYPE)
+  (primitive-procedure-type (list type:any) type:unsigned-byte
+			    'function))
+
+(define-operator-type (make-primitive-procedure 'OBJECT-DATUM)
+  (primitive-procedure-type (list type:any) type:fixnum>=0
+			    'function))
+
+
+
 (let ()
 
   (define (define-indexed thing-ref thing-set!