>
> Dear Waldek,
>
> do you happen to know why
>
> )abbrev package EXPORT ExportType
> ExportType(x: Ring): with
> baseRing: () -> Ring
> == add
> baseRing() == x
>
> works, but
>
> )abbrev domain USE UseType
> UseType: with
> useRing: Ring -> Integer
> == add
> useRing R == 1
>
> doesn't?
>
AFAICS this is interpreter problem, when I tried UseType worked
in Spad code. Intepreter thinks that Integer is of type Domain,
which is different than Ring, so the arguments does not match.
One possible solution is to modify bottomUpType: if expected type
is a category form we could check that value is of correct category
and return this category instead of Domain.
--
Waldek Hebisch
[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
-~----------~----~----~----~------~----~------~--~---
