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