Changeset 4082

Timestamp:

09/27/03 17:31:58 (20 years ago)

Author:

piso

Message:

NORMALIZE-TYPE: DEFTYPE support.

File:

• trunk/j/src/org/armedbear/lisp/subtypep.lisp (modified) (2 diffs)

trunk/j/src/org/armedbear/lisp/subtypep.lisp

@@ -2 +2 @@
 ;;;
 ;;; Copyright (C) 2003 Peter Graves
-;;; $Id: subtypep.lisp,v 1.14 2003-09-22 12:06:46 piso Exp $
+;;; $Id: subtypep.lisp,v 1.15 2003-09-27 17:31:58 piso Exp $
 ;;;
 ;;; This program is free software; you can redistribute it and/or
@@ -112 +112 @@
 (defun normalize-type (type)
   (let (tp i)
-    (if (consp type)
-        (setq tp (car type) i (cdr type))
-        (setq tp type i nil))
+    (loop
+      (if (consp type)
+          (setq tp (car type) i (cdr type))
+          (setq tp type i nil))
+      (if (and (symbolp tp) (get tp 'deftype-definition))
+          (setq type (apply (get tp 'deftype-definition) i))
+          (return)))
     (case tp
       ((ARRAY SIMPLE-ARRAY)