Oh, maybe if it is only a problem for the exports, i.e. in the category
part, I can probably live with that weakness.
Can I still assume that it is only a weakness of the current compiler
and supposed to work in a proper implementation of the (not so specified
;-) ) SPAD language.
At least in the default package of a category, it seems to work.
https://github.com/aldorlang/aldor/blob/master/aldor/aldor/lib/libfoamlib/al/langx.as#L219
Maybe Peter Broadbery knows more about this and how strong the "is" is
in the Aldor language. I seem to remember that "is" was also not fully
supported in Aldor.
I don't know, in which way this IsPackage/TypePackag is used in Aldor
https://github.com/aldorlang/aldor/blob/master/aldor/aldor/lib/libfoamlib/al/langx.as#L219
https://github.com/aldorlang/aldor/blob/master/aldor/lib/axllib/src/al/langx.as#L224
https://github.com/aldorlang/aldor/blob/master/aldor/lib/debuglib/src/dbg_ltools.as#L12
Ralf
On 12/21/25 14:51, Waldek Hebisch wrote:
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'.
--
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/4a09fe79-677e-4502-803a-60e24edb7b5c%40hemmecke.org.
