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

[Gabriel Dos Reis]

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

> 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:

I forgot to mention that I could not build OpenAxiom. I do not know whether
Maxima uses function type proclamations, and therefore suffers from the same
problem.

-- Gaby