[Ecls-list] Some latest changes

[Gabriel Dos Reis]

On Mon, Jun 28, 2010 at 2:46 PM, Juan Jose Garcia-Ripoll
<juanjose.garciaripoll at googlemail.com> wrote:

> * Proclamations are also used to deduce the type of a function's arguments
> and create argument type checks.

Now that ECL is getting good at using function proclamations for
arguments types, is there away to report functions names in
diagnostics when a check fail?  (SBCL does that, and it is quite
helpful for debugging.)

-- Gaby