From: Stephen Adams <edu/mit/csail/zurich/adams>
Date: Wed, 17 Jul 1996 21:37:45 +0000 (+0000)
Subject: Added rules for %/, which enables &/ -> flo:/
X-Git-Tag: 20090517-FFI~5480
X-Git-Url: https://birchwood-abbey.net/git?a=commitdiff_plain;h=65106b5c0188cc1a5216f795267d5dad38967a6e;p=mit-scheme.git

Added rules for %/, which enables &/ -> flo:/
---

diff --git a/v8/src/compiler/midend/typerew.scm b/v8/src/compiler/midend/typerew.scm
index c89b79542..96fc9a0c9 100644
--- a/v8/src/compiler/midend/typerew.scm
+++ b/v8/src/compiler/midend/typerew.scm
@@ -1,6 +1,6 @@
 #| -*-Scheme-*-
 
-$Id: typerew.scm,v 1.11 1996/07/17 20:48:42 adams Exp $
+$Id: typerew.scm,v 1.12 1996/07/17 21:37:45 adams Exp $
 
 Copyright (c) 1994-1995 Massachusetts Institute of Technology
 
@@ -1455,6 +1455,16 @@ MIT in each case. |#
   (define-typerew-binary-variants-replacement-method &/
     type:flonum           type:flonum           type:flonum   flo:/))
 
+(define-typerew-binary-variants-type-method %/
+  type:number           type:number           type:number
+  effect:none
+  type:flonum           type:flonum           type:flonum
+  type:inexact-number   type:number           type:inexact-number
+  type:number           type:inexact-number   type:inexact-number)
+
+(define-typerew-binary-variants-replacement-method %/
+  type:flonum           type:flonum           type:flonum   flo:/)
+
 (let* ((type:fixnum-not-0 (type:except type:fixnum type:exact-zero))
        (type:fixnum-not-0/-1
 	(type:except type:fixnum-not-0 type:exact-minus-one))