projects
/
sbcl.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
1.0.18.11: Add SB-EXT:*MUFFLED-WARNINGS*, to muffle warnings at runtime.
[sbcl.git]
/
src
/
compiler
/
ctype.lisp
diff --git
a/src/compiler/ctype.lisp
b/src/compiler/ctype.lisp
index
32ed243
..
1470a49
100644
(file)
--- a/
src/compiler/ctype.lisp
+++ b/
src/compiler/ctype.lisp
@@
-632,8
+632,8
@@
((lambda-var-arg-info arg)
(let* ((info (lambda-var-arg-info arg))
(default (arg-info-default info))
((lambda-var-arg-info arg)
(let* ((info (lambda-var-arg-info arg))
(default (arg-info-default info))
- (def-type (when (constantp default)
- (ctype-of (eval default)))))
+ (def-type (when (sb!xc:constantp default)
+ (ctype-of (constant-form-value default)))))
(ecase (arg-info-kind info)
(:keyword
(let* ((key (arg-info-key info))
(ecase (arg-info-kind info)
(:keyword
(let* ((key (arg-info-key info))
@@
-765,8
+765,9
@@
(type-specifier type))))
(t
(setf (leaf-type var) type)
(type-specifier type))))
(t
(setf (leaf-type var) type)
- (dolist (ref (leaf-refs var))
- (derive-node-type ref (make-single-value-type type))))))
+ (let ((s-type (make-single-value-type type)))
+ (dolist (ref (leaf-refs var))
+ (derive-node-type ref s-type))))))
t))))))
;;; FIXME: This is quite similar to ASSERT-NEW-DEFINITION.
t))))))
;;; FIXME: This is quite similar to ASSERT-NEW-DEFINITION.