mirrors/ecl
1
Fork 0
mirror of https://gitlab.com/embeddable-common-lisp/ecl.git synced 2026-01-20 19:42:30 -08:00
Code Issues Projects Releases Packages Wiki Activity

The code that adds declarations to symbol macros did not process properly the resulting records.

Browse source
This commit is contained in:
Juan Jose Garcia Ripoll 2010-04-04 03:35:20 +02:00
parent 0e2fc917f7
commit ebf1d5f9a4
1 changed files with 4 additions and 5 deletions
Download patch file Download diff file Expand all files Collapse all files

9
src/cmp/cmpenv.lsp
View file

@ -612,18 +612,17 @@
when (and (consp i) (var-p (fourth i)))
collect (fourth i)))
(defun symbol-macrolet-declaration-p (name type)
(defun symbol-macro-declaration-p (name type)
(let* ((record (cmp-env-search-variables name 'si::symbol-macro *cmp-env*)))
(when record
(let* ((expression (funcall (third record) name nil)))
(print expression)
(when (and record (functionp record))
(let* ((expression (funcall record name nil)))
(cmp-env-register-symbol-macro name `(the ,type ,expression)))
t)))
(defun check-vdecl (vnames ts is)
(loop for (var . type) in ts
unless (or (member var vnames :test #'eq)
(symbol-macrolet-declaration-p var type))
(symbol-macro-declaration-p var type))
do (cmpwarn "Declaration of type~&~4T~A~&was found for not bound variable ~s."
type var))
(loop for (var . expected-uses) in is