On Tue, Jun 29, 2010 at 2:12 AM, Gabriel Dos Reis <firstname.lastname@example.org> wrote:
On Mon, Jun 28, 2010 at 2:46 PM, Juan Jose Garcia-Ripoll
> * Proclamations are also used to deduce the type of a function's arguments
> and create argument type checks.
The function arguments checking seems to have a bug.
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?