On Wed, Apr 23, 2025 at 11:33:23AM +0200, 'Ralf Hemmecke' via FriCAS - computer
algebra system wrote:
> When I compile this ...
>
> ========================
> )abbrev package FOO Foo
> ZZ ==> Integer
> LZZ ==> List ZZ
> LLZZ ==> List LZZ
> Foo: with
> kleiner: (LLZZ, LLZZ) -> Boolean
> == add
> kleiner(x: LLZZ, y: LLZZ): Boolean == x <$LLZZ y
> ========================
>
> I get
>
<snip>
> >> Apparent user error:
> not known that (List (List (Integer))) has (AND (has (List (List
> (Integer))) (finiteAggregate)) (has (List (Integer)) (OrderedSet)))
As I wrote this was a bug. I have now commited a change that
mostly fixes this, in particular I can compile your program.
AFACS this is not a complete fix, there still may be troubles
in some special cases, but should be much better than before.
--
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 fricas-devel+unsubscr...@googlegroups.com.
To view this discussion visit
https://groups.google.com/d/msgid/fricas-devel/aCfVb0desxZ-NF7-%40fricas.org.
