/[gcl]/gcl/cmpnew/gcl_cmplet.lsp
ViewVC logotype

Diff of /gcl/cmpnew/gcl_cmplet.lsp

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

revision 1.6 by camm, Tue Dec 14 12:27:14 2004 UTC revision 1.7 by camm, Tue Dec 14 12:28:45 2004 UTC
# Line 106  Line 106 
106          ((integerp form) (list 'integer form form))          ((integerp form) (list 'integer form form))
107          ((atom form) (type-of form))          ((atom form) (type-of form))
108          ((eq (car form) 'quote) (type-of (cadr form)))          ((eq (car form) 'quote) (type-of (cadr form)))
109          ((atom (cdr form)) (error "Dotted list in fun-ret-type~"))          ((and (cdr form) (atom (cdr form))) (error "Dotted list in fun-ret-type~"))
110          ((symbolp (car form))          ((symbolp (car form))
111           (nil-to-t (or (result-type-from-args (car form) (mapcar #'fun-ret-type (cdr form)))           (nil-to-t (or (result-type-from-args (car form) (mapcar #'fun-ret-type (cdr form)))
112                         (let ((proc (get (car form) 'proclaimed-return-type)))                         (let ((proc (get (car form) 'proclaimed-return-type)))

Legend:
Removed from v.1.6  
changed lines
  Added in v.1.7

savannah-hackers-public@gnu.org
ViewVC Help
Powered by ViewVC 1.1.26