On Mon, 28 Jun 2010 22:13:05 -0400 Matthew Mondor <mm_li...@pulsar-zone.net> wrote:
> On Mon, 28 Jun 2010 19:12:04 -0500 > Gabriel Dos Reis <g...@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 ------------------------------------------------------------------------------ This SF.net email is sponsored by Sprint What will you do first with EVO, the first 4G phone? Visit sprint.com/first -- http://p.sf.net/sfu/sprint-com-first _______________________________________________ Ecls-list mailing list Ecls-list@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/ecls-list