Steel Bank Common Lisp

undumpable CLAMBDA from compile-time type error

Reported by Christophe Rhodes on 2011-12-23
12
This bug affects 2 people
Affects Status Importance Assigned to Milestone
SBCL
Undecided
Unassigned

Bug Description

 affects sbcl
 status confirmed
 tag compiler
 done

file-compiling the code below causes sbcl to attempt to dump a CLAMBDA
structure, I think from an automatically-generated
  (%funcall #<clambda ...>)
clause which generates a %compile-time-type error, which tries to use
the above form as the context.

(declaim (optimize (debug 3) (safety 3)))

(deftype element-type () '(unsigned-byte 8))
(deftype field-type () '(simple-array element-type *))

(defun shift-field (orig-f &optional (f #+nil(frob)#+nil(error "foo")))
  (declare (type (simple-array (unsigned-byte 8) *) orig-f f)))

There are a number of places where we %funcall clambdas rather than
"real" Lisp code; there may be other routes into
%compile-time-type-error, or other error reporting routines, than the
one exercised here.

Stas Boukarev (stassats) wrote :

https://bugs.launchpad.net/sbcl/+bug/943953 appears to be a duplicate of this and is possibly related to https://bugs.launchpad.net/sbcl/+bug/908102

To post a comment you must log in.
This report contains Public information  Edit
Everyone can see this information.

Other bug subscribers