On Mon, 28 Jun 2010 22:13:05 -0400
Matthew Mondor wrote:
> On Mon, 28 Jun 2010 19:12:04 -0500
> Gabriel Dos Reis 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
On Thu, Jul 1, 2010 at 4:39 PM, Juan Jose Garcia-Ripoll
wrote:
> On Tue, Jun 29, 2010 at 2:12 AM, Gabriel Dos Reis
> wrote:
>>
>> On Mon, Jun 28, 2010 at 2:46 PM, Juan Jose Garcia-Ripoll
>> wrote:
>> > * Proclamations are also used to deduce the type of a function's
>> > arguments
>> > and creat
On Tue, Jun 29, 2010 at 2:12 AM, Gabriel Dos Reis <
g...@integrable-solutions.net> wrote:
> On Mon, Jun 28, 2010 at 2:46 PM, Juan Jose Garcia-Ripoll
> wrote:
> > * Proclamations are also used to deduce the type of a function's
> arguments
> > and create argument type checks.
> >
> The function ar
On Mon, Jun 28, 2010 at 9:13 PM, Matthew Mondor
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
On Mon, 28 Jun 2010 19:12:04 -0500
Gabriel Dos Reis 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
On Mon, Jun 28, 2010 at 2:46 PM, Juan Jose Garcia-Ripoll
wrote:
> * Proclamations are also used to deduce the type of a function's arguments
> and create argument type checks.
>
Hi Juanjo,
The function arguments checking seems to have a bug. The attached
testcase (distilled from OpenAxiom) pr