Comment 0 for bug 769592

Revision history for this message
Alex Plotnick (shrike) wrote :

Using the environments API from SB-CLTL2, an improper style-warning is generated for the following form:

* (augment-environment (augment-environment nil :variable '(foo)) :declare '((ignore foo)))
STYLE-WARNING: IGNORE declaration for an unknown variable: FOO

#S(SB-KERNEL:LEXENV ...)

A similar result occurs for function declarations.

The results are much worse for a NOTINLINE declaration:

* (augment-environment (augment-environment nil :function '(foo)) :declare '((notinline foo)))

debugger invoked on a UNBOUND-VARIABLE:
  The variable SB-C:*FREE-FUNS* is unbound.

Perhaps this should be a seperate bug, but it appears to be related: the environments API seems not to be hooked up in the right sort of way to the code in ir1tran.lisp that's generating these signals.

This is on SBCL 1.0.47.9.