Ignore:
Timestamp:
09/29/03 01:29:13 (19 years ago)
Author:
piso
Message:

SUBTYPEP: work in progress.

File:
1 edited

Legend:

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

    r4082 r4119  
    22;;;
    33;;; Copyright (C) 2003 Peter Graves
    4 ;;; $Id: subtypep.lisp,v 1.15 2003-09-27 17:31:58 piso Exp $
     4;;; $Id: subtypep.lisp,v 1.16 2003-09-29 01:29:13 piso Exp $
    55;;;
    66;;; This program is free software; you can redistribute it and/or
     
    250250                       (values nil t)))
    251251                  (t (values nil (known-type-p t1)))))
     252           ((eq t2 'vector)
     253            (if (eq t1 'base-string)
     254                (if (eq (car i2) 'base-char)
     255                    (values t t)
     256                    (values nil t))
     257                (values nil (known-type-p t2))))
    252258           ((eq t2 'simple-string)
    253259            (if (memq t1 '(simple-string simple-base-string))
    254260                (if (or (null i2) (eq (car i2) '*))
     261                    (values t t)
     262                    (values nil t))
     263                (values nil (known-type-p t2))))
     264           ((eq t2 'base-string)
     265            (if (eq t1 'vector)
     266                (if (eq (car i1) 'base-char)
     267                    (values t t)
     268                    (values nil t))
     269                (values nil (known-type-p t2))))
     270           ((eq t2 'string)
     271            (if (eq t1 'vector)
     272                (if (eq (car i1) 'character)
    255273                    (values t t)
    256274                    (values nil t))
Note: See TracChangeset for help on using the changeset viewer.