Activity log for bug #769592

Date Who What changed Old value New value Message
2011-04-23 18:29:50 Alex Plotnick bug added bug
2011-04-23 18:30:27 Alex Plotnick description 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. 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.
2011-05-28 10:32:53 Nikodemus Siivola sbcl: importance Undecided Medium
2011-05-28 10:32:53 Nikodemus Siivola sbcl: status New Confirmed
2011-05-28 10:33:22 Nikodemus Siivola tags environments sb-cltl2 contribs environments sb-cltl2