BUG: macro parameters are not parameters

[Ralf Hemmecke]

I somehow think, the stuff below reveals a bug.
Why should the parameter name in the definition of FOO matter?

Ralf


%%% (1) -> FOO(X)(Y) ==> Polynomial(X Y)

Type: Void
%%% (2) -> FOO(Fraction)(Integer)

(2) Polynomial(Fraction(Integer))

Type: Type
%%% (3) -> Y ==> PrimeField 2

Type: Void
%%% (4) -> FOO(Fraction)(Integer)

>> System error:
The function BOOT::|%pform| is undefined.

%%% (4) -> FOO(X)(Z) ==> Polynomial(X Z)

Type: Void
%%% (5) -> FOO(Fraction)(Integer)

(5) Polynomial(Fraction(Integer))

Type: Type
%%% (6) -> FOO(Fraction)(Y)

(6) Polynomial(Fraction(PrimeField(2)))

Type: Type

[Waldek Hebisch]

On Wed, Dec 13, 2023 at 09:54:04AM +0100, Ralf Hemmecke wrote:
> I somehow think, the stuff below reveals a bug.
> Why should the parameter name in the definition of FOO matter?
>
> Ralf
>
>
> %%% (1) -> FOO(X)(Y) ==> Polynomial(X Y)
>
> Type: Void
> %%% (2) -> FOO(Fraction)(Integer)
>
> (2) Polynomial(Fraction(Integer))
>
> Type: Type
> %%% (3) -> Y ==> PrimeField 2
>
> Type: Void
> %%% (4) -> FOO(Fraction)(Integer)
>
> >> System error:
> The function BOOT::|%pform| is undefined.

Well, 'macSubstituteOuter' in macex.boot seem to be buggy...

--
Waldek Hebisch