*** empty log message ***
authorStephen Adams <edu/mit/csail/zurich/adams>
Wed, 22 Dec 1993 08:09:24 +0000 (08:09 +0000)
committerStephen Adams <edu/mit/csail/zurich/adams>
Wed, 22 Dec 1993 08:09:24 +0000 (08:09 +0000)
v7/src/sf/usiexp.scm

index cf1aa7fd4cbab5d39c93d1ae07f3e65bd127c886..aa3bea70280cdfa1c075c471dc62d14158e34d29 100644 (file)
@@ -1,6 +1,6 @@
 #| -*-Scheme-*-
 
-$Id: usiexp.scm,v 4.23 1993/12/22 07:55:42 adams Exp $
+$Id: usiexp.scm,v 4.24 1993/12/22 08:09:24 adams Exp $
 
 Copyright (c) 1988-1993 Massachusetts Institute of Technology
 
@@ -489,8 +489,8 @@ MIT in each case. |#
 
 ;; for +ve & -ve fixnums?
 ;(define (fix:fixnum?-expansion expr operands if-expanded if-not-expanded block)
-;  (let ((pos-tag  (ucode-type/positive-fixnum))
-;      (neg-tag  (ucode-type/negative-fixnum)))
+;  (let ((pos-tag  ucode-type/positive-fixnum)
+;      (neg-tag  ucode-type/negative-fixnum))
 ;    (if (and (pair? operands)
 ;           (null? (cdr operands)))
 ;      (if-expanded
@@ -509,8 +509,8 @@ MIT in each case. |#
       (if-expanded
        (make-disjunction
        expr
-       (make-type-test false block (ucode-type/fixnum) (car operands))
-       (make-type-test false block (ucode-type/big-fixnum) (car operands))))
+       (make-type-test false block ucode-type/fixnum (car operands))
+       (make-type-test false block ucode-type/big-fixnum (car operands))))
       (if-not-expanded)))
 
 (define (exact-rational?-expansion expr operands if-expanded if-not-expanded
@@ -520,9 +520,9 @@ MIT in each case. |#
       (if-expanded
        (make-disjunction
        expr
-       (make-type-test false block (ucode-type/fixnum) (car operands))
-       (make-type-test false block (ucode-type/big-fixnum) (car operands))
-       (make-type-test false block (ucode-type/ratnum) (car operands))))
+       (make-type-test false block ucode-type/fixnum (car operands))
+       (make-type-test false block ucode-type/big-fixnum (car operands))
+       (make-type-test false block ucode-type/ratnum (car operands))))
       (if-not-expanded)))
 
 (define (complex?-expansion expr operands if-expanded if-not-expanded block)
@@ -531,11 +531,11 @@ MIT in each case. |#
       (if-expanded
        (make-disjunction
        expr
-       (make-type-test false block (ucode-type/fixnum) (car operands))
-       (make-type-test false block (ucode-type/big-fixnum) (car operands))
-       (make-type-test false block (ucode-type/ratnum) (car operands))
-       (make-type-test false block (ucode-type/big-flonum) (car operands))
-       (make-type-test false block (ucode-type/recnum) (car operands))))
+       (make-type-test false block ucode-type/fixnum (car operands))
+       (make-type-test false block ucode-type/big-fixnum (car operands))
+       (make-type-test false block ucode-type/ratnum (car operands))
+       (make-type-test false block ucode-type/big-flonum (car operands))
+       (make-type-test false block ucode-type/recnum (car operands))))
       (if-not-expanded)))
 \f
 (define (make-disjunction expr . clauses)