[Ecls-list] Bug in argument checking based on function proclamation

[Matthew Mondor]

On Mon, 28 Jun 2010 22:13:05 -0400
Matthew Mondor <mm_lists at pulsar-zone.net> wrote:

> On Mon, 28 Jun 2010 19:12:04 -0500
> Gabriel Dos Reis <gdr at integrable-solutions.net> wrote:
> 
> > 1. The argument-type in the function proclamation is simple enough
> >     that ECL should not be confused.
> > 
> > 2. ECL pretends that there are too few arguments for proclaimed
> >     BEGIN-DOLLAR-P.  Yet, the function was proclaimed to be
> >     of arity 1, and there is exactly one argument supplied in the call.
> > 
> > What are the notes about propagating FUNCALL and C-INLINE about?
> 
> I rebuilt an ECL from ECL HEAD to test these new changes.
> While building some code which uses function proclamations, there also
> was a new problem:
>
> ;;; Compiling /home/mmondor/work/mmsoftware/cl/test/ecl-unix.lisp.
> ;;; OPTIMIZE levels: Safety=2, Space=0, Speed=3, Debug=3
> ;;;
> ;;; Note:
> ;;;   in file ecl-unix.lisp, position 51123
> ;;;   at (DEFINE-C-STRUCTURE-ACCESSORS FLOCK)
> ;;;   Unknown type (FLOCK). Assuming it is T.
> 
> In function CEILING, the value of the first argument is
>   FLOCK
> which is not of the expected type REAL
> Available restarts:
> [...]

I also confirm my code now builds fine with ECL HEAD after the DECLAIM fix.

Thanks,
-- 
Matt