/[cmucl]/src/code/pred.lisp
ViewVC logotype

Diff of /src/code/pred.lisp

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 1.1 by ram, Tue Feb 6 17:25:18 1990 UTC revision 1.2 by ram, Thu Feb 8 12:33:34 1990 UTC
# Line 236  Line 236 
236    (%typep obj type))    (%typep obj type))
237    
238    
 ;;; Type-Expand  --  Internal  
 ;;;  
 ;;;    Similar to Macroexpand, but expands deftypes.  We don't bother returning  
 ;;; a second value.  
 ;;;  
 (defun type-expand (form)  
   (let ((def (cond ((symbolp form)  
                     (get form 'deftype-expander))  
                    ((and (consp form) (symbolp (car form)))  
                     (get (car form) 'deftype-expander))  
                    (t nil))))  
     (if def  
         (type-expand (funcall def (if (consp form) form (list form))))  
         form)))  
   
   
239  ;;; Given that the object is a vector of some sort, and that we've already  ;;; Given that the object is a vector of some sort, and that we've already
240  ;;; verified that it matches CAR of TYPE, see if the rest of the type  ;;; verified that it matches CAR of TYPE, see if the rest of the type
241  ;;; specifier wins.  Mild hack: Eltype Nil means either type not supplied  ;;; specifier wins.  Mild hack: Eltype Nil means either type not supplied

Legend:
Removed from v.1.1  
changed lines
  Added in v.1.2

  ViewVC Help
Powered by ViewVC 1.1.5