Reduced to (tagbody (go 0) (list (progv () ())) (multiple-value-call #'list (values (catch 'ct5 (go 0)))) 0)
And one of the variants produced a different error, (labels ((a (x))) (go (+)) (a (catch 'ct5 0))) failed AVER: (AND (EQ (CTRAN-KIND START) INSIDE-BLOCK) (NOT (BLOCK-DELETE-P BLOCK)))
and this one needs to be compile-filed.
Reduced to value-call #'list
(tagbody
(go 0)
(list (progv () ()))
(multiple-
(values (catch 'ct5 (go 0))))
0)
And one of the variants produced a different error,
(labels ((a (x)))
(go (+))
(a (catch 'ct5 0)))
failed AVER:
(AND (EQ (CTRAN-KIND START) INSIDE-BLOCK)
(NOT (BLOCK-DELETE-P BLOCK)))
and this one needs to be compile-filed.