mirrors/ecl
1
Fork 0
mirror of https://gitlab.com/embeddable-common-lisp/ecl.git synced 2026-01-14 05:12:38 -08:00
Code Issues Projects Releases Packages Wiki Activity

At several places in the compiler only the primary type of an expression was needed, but we retrieved the full values type.

Browse source
This commit is contained in:
Juan Jose Garcia Ripoll 2009-07-08 21:31:20 +02:00
parent a4599f13af
commit b3b61b59b2
2 changed files with 2 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/cmp/cmplet.lsp
View file

@ -125,7 +125,7 @@
((not (c1form-p x)))
((eq (c1form-name x) 'VAR)
(when (eq var (c1form-arg 0 x))
(setf (c1form-type x) (type-and (c1form-type x) type))))
(setf (c1form-type x) (type-and (c1form-primary-type x) type))))
(t
(update-var-type var type (c1form-args x)))))

3
src/cmp/cmpmac.lsp
View file

@ -140,8 +140,7 @@
(if (c1form-volatile form) "volatile " ""))
(defun c1form-primary-type (form)
(let ((type (c1form-type form)))
(values-type-primary-type type)))
(values-type-primary-type (c1form-type form)))
(defun find-node-in-list (home-node list)
(flet ((parent-node-p (node presumed-child)