Dear Waldek,
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.
Thank you for your clarification.
Being not able to give names to argument ...
We have this in our library.
entries : (lp : %) -> List NNI
https://github.com/fricas/fricas/blob/master/src/algebra/graph.spad#L1033
That is of course unnecessary and I would like to remove the "lp : " in
these cases (there are several of them). But I found it too unimportant
until now.
You probably meant something else like: the SPAD compiler does not
support dependent types?
However, this
Localize(M : Module R, R : CommutativeRing) : Module R with ...
https://github.com/fricas/fricas/blob/master/src/algebra/fraction.spad#L11
is not much different. It seems that you tell me that I can create
something like Localize, but *not* use it as a first class object, i.e.
pass it as an argument to a function. And I mean "Localize", not
"Localize(M,R)", because, the compiler doesn't allow me to specify the
type of the argument as
(Module R, R : CommutativeRing) -> Module R
Well, if that is the case, it's a pity, but I can live with it for now.
Thanks again for your answer.
Ralf
--
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/5cb8efd3-6bb1-aca3-0b65-e14fb4863f9a%40hemmecke.de.
