From: Stephen Adams <edu/mit/csail/zurich/adams>
Date: Sat, 27 Jul 1996 03:29:10 +0000 (+0000)
Subject: Added info for %RECORD.
X-Git-Tag: 20090517-FFI~5418
X-Git-Url: https://birchwood-abbey.net/git?a=commitdiff_plain;h=f3594493827841edce53f451d2b8fb52a8bb91b1;p=mit-scheme.git

Added info for %RECORD.
---

diff --git a/v8/src/compiler/midend/typedb.scm b/v8/src/compiler/midend/typedb.scm
index 36785b44f..f88e5d020 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.11 1996/07/23 15:33:51 adams Exp $
+$Id: typedb.scm,v 1.12 1996/07/27 03:29:10 adams Exp $
 
 Copyright (c) 1996 Massachusetts Institute of Technology
 
@@ -183,6 +183,11 @@ MIT in each case. |#
 			    'effect-insensitive
 			    'effect effect:allocation))
 
+(define-operator-type (make-primitive-procedure '%RECORD)
+  (primitive-procedure-type (cons* type:any type:any) type:%record
+			    'effect-insensitive
+			    'effect effect:allocation))
+
 (define-operator-type (make-primitive-procedure 'VECTOR-CONS)
   (primitive-procedure-type (list type:vector-length type:any)  type:vector
 			    'effect-insensitive
@@ -242,7 +247,7 @@ MIT in each case. |#
 
 
 (define-operator-type (make-primitive-procedure 'COERCE-TO-COMPILED-PROCEDURE)
-  (primitive-procedure-type (list type:any) type:compiled-procedure
+  (primitive-procedure-type (list type:any type:fixnum) type:compiled-procedure
 			    'function))