There is something strange in the compiler reports about
Product(DomainConstruction, SetCategory)
(and similar pairs).
When it is Record(dCons : DomainConstruction, dDom : SetCategory),
then it works.
When I change to a simpler type of
Product(DomainConstruction, SetCategory),
the compiler reports the things like
compiling exported
parseDomain : List String ->
Product(Product(DomainConstruction,SetCategory),List String)
>> System error:
The value |SetCategory| is not of type LIST.
It always tends to put LIST for the second component.
Product is simpler than Record, but I fear of it all these two months.
Regards,
------
Sergei
[email protected]
--
You received this message because you are subscribed to the Google Groups
"FriCAS - computer algebra system" group.
To post to this group, send email to [email protected].
To unsubscribe from this group, send email to
[email protected].
For more options, visit this group at
http://groups.google.com/group/fricas-devel?hl=en.
