From: Stephen Adams <edu/mit/csail/zurich/adams>
Date: Wed, 25 Oct 1995 18:35:15 +0000 (+0000)
Subject: Fixed signature of ERROR:WRONG-TYPE-ARGUMENT
X-Git-Tag: 20090517-FFI~5851
X-Git-Url: https://birchwood-abbey.net/git?a=commitdiff_plain;h=012a71c33d3d2021e5bf9af60548b76d8b12cfe4;p=mit-scheme.git

Fixed signature of ERROR:WRONG-TYPE-ARGUMENT
---

diff --git a/v8/src/compiler/midend/typedb.scm b/v8/src/compiler/midend/typedb.scm
index 589780df3..9580b5fb7 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.2 1995/09/05 19:04:43 adams Exp $
+$Id: typedb.scm,v 1.3 1995/10/25 18:35:15 adams Exp $
 
 Copyright (c) 1995 Massachusetts Institute of Technology
 
@@ -56,7 +56,7 @@ MIT in each case. |#
 
 (define-operator-type 'ERROR:WRONG-TYPE-ARGUMENT
   ;; return type empty => Never returns 
-  (procedure-type (list type:any type:any) type:empty
+  (procedure-type (list type:any type:any type:any) type:empty
 		  'function))
 
 (define-operator-type 'EXACT->INEXACT
@@ -64,6 +64,18 @@ MIT in each case. |#
 
 (define-operator-type 'INEXACT->EXACT
   (procedure-type (list type:number) type:exact-number 'function))
+
+(define-operator-type 'CEILING->EXACT
+  (procedure-type (list type:number) type:exact-integer 'function))
+
+(define-operator-type 'FLOOR->EXACT
+  (procedure-type (list type:number) type:exact-integer 'function))
+
+(define-operator-type 'ROUND->EXACT
+  (procedure-type (list type:number) type:exact-integer 'function))
+
+(define-operator-type 'TRUNCATE->EXACT
+  (procedure-type (list type:number) type:exact-integer 'function))
 
 (define-operator-type (make-primitive-procedure 'CAR)
   (primitive-procedure-type (list type:pair) type:any