| 2018-01-08 14:00:03 |
Paul F. Dietz |
description |
(lambda (a y)
(let* ((z (some (lambda (x) x) (not y))))
(when z (f100))))
===>
failed AVER:
(NOT
(SB-C::FUNCTIONAL-HAS-EXTERNAL-REFERENCES-P SB-C::CLAMBDA))
[...]
0: (SB-INT:BUG "~@<failed AVER: ~2I~_~S~:>" (NOT (SB-C::FUNCTIONAL-HAS-EXTERNAL-REFERENCES-P SB-C::CLAMBDA)))
1: (SB-IMPL::%FAILED-AVER (NOT (SB-C::FUNCTIONAL-HAS-EXTERNAL-REFERENCES-P SB-C::CLAMBDA)))
2: (SB-C::DELETE-LAMBDA #<SB-C::CLAMBDA :%SOURCE-NAME SB-C::.ANONYMOUS. :%DEBUG-NAME (SB-C::TL-XEP (LAMBDA # :IN "/home/dietz/g/f/f.lsp")) :KIND :EXTERNAL :TYPE #<SB-KERNEL:BUILT-IN-CLASSOID FUNCTION (re..
3: (SB-C::DELETE-BLOCK #<SB-C::CBLOCK 24 :START c1 {1009064B13}> NIL)
[...] |
(lambda (y)
(let* ((z (some (lambda (x) x) (not y))))
(when z (f100))))
===>
failed AVER:
(NOT
(SB-C::FUNCTIONAL-HAS-EXTERNAL-REFERENCES-P SB-C::CLAMBDA))
[...]
0: (SB-INT:BUG "~@<failed AVER: ~2I~_~S~:>" (NOT (SB-C::FUNCTIONAL-HAS-EXTERNAL-REFERENCES-P SB-C::CLAMBDA)))
1: (SB-IMPL::%FAILED-AVER (NOT (SB-C::FUNCTIONAL-HAS-EXTERNAL-REFERENCES-P SB-C::CLAMBDA)))
2: (SB-C::DELETE-LAMBDA #<SB-C::CLAMBDA :%SOURCE-NAME SB-C::.ANONYMOUS. :%DEBUG-NAME (SB-C::TL-XEP (LAMBDA # :IN "/home/dietz/g/f/f.lsp")) :KIND :EXTERNAL :TYPE #<SB-KERNEL:BUILT-IN-CLASSOID FUNCTION (re..
3: (SB-C::DELETE-BLOCK #<SB-C::CBLOCK 24 :START c1 {1009064B13}> NIL)
[...] |
|
