On Mon, Dec 08, 2025 at 05:32:45PM +0100, 'Ralf Hemmecke' via FriCAS - computer
algebra system wrote:
> Unfortunately the compiler does compile the Cat category, but
> it cannot compile the domains.
>
> Do I also have to lie about the exports as it is done in other part of the
> library, for example here:
>
> https://github.com/fricas/fricas/blob/master/src/algebra/catdef.spad#L329
>
> ?
>
> Ralf
>
> -----------------------------------------------------------
>
> )abbrev category CAT Cat
> Cat(S: SetCategory): Category == with
> if S is Integer then foo: () -> Integer
^^^^^^^^^^
This is reccuring trouble: compiler does not support 'is' conditions
in domain/category exports. Unfortunately, trouble is detected
only when you try to use such exports. Actually, this limition
is because compiler has trouble performing some reasonings with
such conditions.
BTW: your code seem to compile fine if I replace 'is Integer'
by 'has IntegerNumberSystem'.
--
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 visit
https://groups.google.com/d/msgid/fricas-devel/aUf7YeCosRaiNGp5%40fricas.org.
