[Openmcl-devel] CCL fails to compile SBCL

[Nikodemus Siivola]

On 17 October 2010 20:51, Daniel Herring <dherring at tentpost.com> wrote:

> FYI, there is a current thread on sbcl-devel entitled
> "build failure when bootstrapping with Clozure CL"

Yep. There have been reports of build failures when using CCL as host,
due to full warnings from forward references to type specifiers.

For example, CCL's COMPILE-FILE (1.5-r13651) returns a tertiary value of T for

--snip--
(defstruct foo
  (bar (error "missing argument") :type bar))

(defun bar-foo (bar)
  (declare (type bar bar))
  (make-foo :bar bar))
--snap--

if type BAR is not yet defined. The offending form appears to be the
declaration in BAR-FOO. (The suboptimality of code such as this is not
in any dispute.)

The question is if CCL considers such forward references worth a full
warning (and hence COMPILE-FILE returning a non-NIL tertiary value),
or if this is unintentional?

If the warning is here to stay, then we obviously need to adjust the
SBCL bootstrap to suit -- but if not, I would let the sleeping
bootstrap lie just for now...

Cheers,

 -- Nikodemus