From 65106b5c0188cc1a5216f795267d5dad38967a6e Mon Sep 17 00:00:00 2001
From: Stephen Adams <edu/mit/csail/zurich/adams>
Date: Wed, 17 Jul 1996 21:37:45 +0000
Subject: [PATCH] Added rules for %/, which enables &/ -> flo:/

---
 v8/src/compiler/midend/typerew.scm | 12 +++++++++++-
 1 file changed, 11 insertions(+), 1 deletion(-)

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))
-- 
2.25.1