Thinko in replacements for INTEGER-NEGATIVE? and INTEGER-POSITIVE?
authorStephen Adams <edu/mit/csail/zurich/adams>
Fri, 3 Oct 1997 13:43:41 +0000 (13:43 +0000)
committerStephen Adams <edu/mit/csail/zurich/adams>
Fri, 3 Oct 1997 13:43:41 +0000 (13:43 +0000)
(was doing fixnum replacement for known-to-be exact integer arguments
rather than known-to-be fixnum arguments.

v8/src/compiler/midend/typerew.scm

index a124bb79892d487b9e6749c36d34729a5ce781b1..fe1a4bad498678b61e5c5d5495891682ac4717f5 100644 (file)
@@ -1,6 +1,6 @@
 #| -*-Scheme-*-
 
-$Id: typerew.scm,v 1.27 1997/07/11 02:34:48 adams Exp $
+$Id: typerew.scm,v 1.28 1997/10/03 13:43:41 adams Exp $
 
 Copyright (c) 1994-1996 Massachusetts Institute of Technology
 
@@ -1985,10 +1985,10 @@ and we dont do much with that.
     type:exact-integer     type:any                 (typerew/%lc EQ? 0))
 
   (define-typerew-unary-variants-replacement-method INTEGER-NEGATIVE?
-    type:exact-integer     type:any                 (typerew/%lc fix:< 0))
+    type:fixnum            type:any                 (typerew/%lc fix:< 0))
 
   (define-typerew-unary-variants-replacement-method INTEGER-POSITIVE?
-    type:exact-integer     type:any                 (typerew/%lc fix:> 0))
+    type:fixnum            type:any                 (typerew/%lc fix:> 0))
 )