Re: [Gcl-devel] (break "bar") in cmpnew/gcl_cmpspecial.lsp in c1function

[Camm Maguire]

Greetings, and please excuse the delayed reply!

I've committed some fixes to cvs head which I believe resolves this,
though my testing showed a similar though not identical error.  I also
have a few uncommitted patches to my local tree dealing with inlining,
though I doubt these are at all relevant.   Please let me know if
problems persist.  

Take care,


Karsten Poeck <address@hidden> writes:

> Hello Camm,
> I think I was to unspecific in my report. The problem is not the
> (break "bar"), my problem is that the
> compiler enters the cond branch with the cmperr while compiling to my
> understanding prefectly correct code.
> 
> My test case is the following:
> 
> (defclass combine-root ()
>    ()
>    )
> 
> (defclass combinatoric-solver (combine-root)
>    (
>     (constraints-tested :initform 0 :accessor cs-constraints-tested)
>     )
>    )
> 
> (defclass partial-solution (combine-root)
>    ()
>    )
> 
> (defmethod partial-solution-correct ((me combinatoric-solver)
> (solution partial-solution))
>      (incf (cs-constraints-tested me)))
> 
> If I compile this code with current cvs head I get
>  >(compile-file "c:/data/lisp/combine/foo.lisp")
> 
> Compiling c:/data/lisp/combine/foo.lisp.
> ; (DEFUN |(PCL::FAST-METHOD PARTIAL-SOLUTION-CORRECT
> (COMBINATORIC-SOLVER PARTIAL-SOLUTION))|
>           ...) is being compiled.
> ;; Warning: Type declaration was found for not bound variable
> COMBINATORIC-SOLVER.
> ;; Warning: Type declaration was found for not bound variable ME.
> ;; Warning: Type declaration was found for not bound variable 
> PARTIAL-SOLUTION.
> ;; Warning: Type declaration was found for not bound variable SOLUTION.
> ;;; The function (SETF CS-CONSTRAINTS-TESTED) is illegal.;; Warning:
> Type declaration was found for not bound variable COMBINATORIC-SOLVER.
> ;; Warning: Type declaration was found for not bound variable ME.
> ;; Warning: Type declaration was found for not bound variable 
> PARTIAL-SOLUTION.
> ;; Warning: Type declaration was found for not bound variable SOLUTION.
> ;;; The function (SETF CS-CONSTRAINTS-TESTED) is illegal.
> No FASL generated.
> NIL
> 
> What is incorrect in the (incf (cs-constraints-tested me)) ?
> 
> salud2
> 
> Karsten
> 
> At 00:33 30/03/2005, you wrote:
> >Greetings, and thanks for your report!  One of my debugging statements
> >got through to cvs -- my apologies -- fixed now.
> >
> >Take care,
> 
> 
> 
> 

-- 
Camm Maguire                                            address@hidden
==========================================================================
"The earth is but one country, and mankind its citizens."  --  Baha'u'llah