On Tue, May 02, 2023 at 09:42:07AM +0200, Ralf Hemmecke wrote:
> Hi Waldek,
>
> I cannot send the whole code, but I'd like to ask whether the construction
> (see RED) should in principle be possible.
>
> It basically says that instead of a package in the argument list of a
> constructor, I pass a function that returns a package, because I would like
> to instantiate that package either with (C,L,QXAB) or with (C,F,AB).
>
> The compiler throws a strange error message at me that I cannot interpret.
>
> Any hints?
The following:
RED: (C:Type, LF:Type, XAB:Type) -> QEtaComputationReductionCategory(LF, XAB)
is probably unsupported. First, giving names of arguments is not
really supported, at best they will be ignored but potentially
they may cause trouble. Second, QEtaComputationReductionCategory(LF, XAB)
depends on argument, this is unsupported.
--
Waldek Hebisch
--
You received this message because you are subscribed to the Google Groups
"FriCAS - computer algebra system" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To view this discussion on the web visit
https://groups.google.com/d/msgid/fricas-devel/20230502110321.kym63wcuv4w3fn3n%40fricas.math.uni.wroc.pl.
