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 )abbrev domain DOM1 Dom1 Dom1(S: SetCategory): Cat S with bar: () -> Integer == add if S is Integer then foo(): Integer == 1 bar(): Integer == 1 )abbrev domain DOM2 Dom2 Dom2(S: SetCategory): with if S is Integer then foo: () -> Integer bar: () -> Integer == add if S is Integer then foo(): Integer == 1 bar(): Integer == 1 -- 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/aceaa88f-c18d-42c8-ba92-854abc313fe3%40hemmecke.org.
