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

Improve the compiler message in C1SETQ1.

Browse source
This commit is contained in:
Juan Jose Garcia Ripoll 2011-12-23 19:29:13 +01:00
parent 62ae818c04
commit a9a110f211
1 changed files with 4 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

6
src/cmp/cmpvar.lsp
View file

@ -345,9 +345,11 @@
(return-from c1setq1 (c1expr `(setf ,name ,form))))
(let* ((name1 (c1vref name))
(form1 (c1expr form))
(type (type-and (var-type name1) (c1form-primary-type form1))))
(v-type (var-type name1))
(f-type (c1form-primary-type form1))
(type (type-and v-type f-type)))
(unless type
(cmpwarn "Type mismatch between ~s and ~s." name form)
(cmpwarn "Variable ~s is declared to be of type~%~s~%and assigned an incompatible object of type~%~s." name v-type f-type)
(setq type T))
;; Is this justified????
#+nil(setf (c1form-type form1) type)