Ignore:
Timestamp:
02/06/05 13:26:20 (17 years ago)
Author:
piso
Message:

%SUBTYPEP: improved support for complex types.

File:
1 edited

Legend:

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

    r8488 r8490  
    22;;;
    33;;; Copyright (C) 2003-2005 Peter Graves
    4 ;;; $Id: subtypep.lisp,v 1.56 2005-02-06 12:54:55 piso Exp $
     4;;; $Id: subtypep.lisp,v 1.57 2005-02-06 13:26:20 piso Exp $
    55;;;
    66;;; This program is free software; you can redistribute it and/or
     
    560560               (values (sub-interval-p i1 i2) t)
    561561               (values nil (known-type-p t2))))
     562          ((eq t1 'complex)
     563           (cond ((eq t2 'number)
     564                  (values t t))
     565                 ((eq t2 'complex)
     566                  (cond ((equal i2 '(*))
     567                         (values t t))
     568                        ((equal i1 '(*))
     569                         (values nil t))
     570                        (t
     571                         (values (subtypep i1 i2) t))))))
    562572          ((and (eq t1 (find-class 'array)) (eq t2 'array))
    563573           (values (equal i2 '(* *)) t))
Note: See TracChangeset for help on using the changeset viewer.