X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=src%2Fcode%2Ftypecheckfuns.lisp;h=92adc902ee1bda9dc8c8588ab0fc1a211d1917b5;hb=b3a419f10ad442a1c59d51edabdc70518f193648;hp=e398b70fdc353476206fe2c58563ece863724f64;hpb=a37de74b393a808825585000bb5b2b92218d46c0;p=sbcl.git diff --git a/src/code/typecheckfuns.lisp b/src/code/typecheckfuns.lisp index e398b70..92adc90 100644 --- a/src/code/typecheckfuns.lisp +++ b/src/code/typecheckfuns.lisp @@ -186,11 +186,11 @@ (setf (gethash typespec *typecheckfuns*) unmemoized-typecheckfun) ;; UNMEMOIZED-TYPECHECKFUN shouldn't be NIL unless the compiler ;; knew that the memo would exist, so we shouldn't be here. - (error "internal error: no typecheckfun memo for ~% ~S" typespec))) + (bug "no typecheckfun memo for ~S" typespec))) (defun ctype-needs-to-be-interpreted-p (ctype) ;; What we should really do is factor out the code in - ;; (DEF-SOURCE-TRANSFORM TYPEP ..) so that it can be shared here. + ;; (DEFINE-SOURCE-TRANSFORM TYPEP ..) so that it can be shared here. ;; Until then this toy version should be good enough for some testing. (warn "FIXME: This is just a toy stub CTYPE-NEEDS-TO-BE-INTERPRETED-P.") (not (or (position (type-specifier ctype) @@ -221,7 +221,7 @@ (let* ((typespec (second typespec-form)) (ctype (specifier-type typespec))) (aver (= 2 (length typespec-form))) - (cond ((structure-class-p ctype) + (cond ((structure-classoid-p ctype) `(structure-object-typecheckfun ,typespec-form)) ((ctype-needs-to-be-interpreted-p ctype) whole) ; i.e. give up compiler macro