Changeset 3730


Ignore:
Timestamp:
09/13/03 18:43:24 (19 years ago)
Author:
piso
Message:

Work in progress.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/j/src/org/armedbear/lisp/subtypep.lisp

    r3729 r3730  
    22;;;
    33;;; Copyright (C) 2003 Peter Graves
    4 ;;; $Id: subtypep.lisp,v 1.3 2003-09-13 18:34:23 piso Exp $
     4;;; $Id: subtypep.lisp,v 1.4 2003-09-13 18:43:24 piso Exp $
    55;;;
    66;;; This program is free software; you can redistribute it and/or
     
    174174          (t
    175175           (cond ((eq t1 'float)
    176                   (if (eq t2 'float)
     176                  (if (memq t2 '(float real number))
    177177                      (values (sub-interval-p i1 i2) t)
    178178                      (values nil (known-type-p t2))))
    179179                 ((eq t1 'integer)
    180                   (if (member t2 '(integer rational real number))
     180                  (if (memq t2 '(integer rational real number))
    181181                      (values (sub-interval-p i1 i2) t)
    182182                      (values nil (known-type-p t2))))
    183183                 ((eq t1 'rational)
    184                   (if (member t2 '(rational real))
     184                  (if (memq t2 '(rational real number))
    185185                      (values (sub-interval-p i1 i2) t)
    186186                      (values nil (known-type-p t2))))
    187187                 ((eq t1 'real)
    188                   (if (eq t2 'real)
     188                  (if (memq t2 '(real number))
    189189                      (values (sub-interval-p i1 i2) t)
    190190                      (values nil (known-type-p t2))))
Note: See TracChangeset for help on using the changeset viewer.