Thank you, Waldek, I seem to have found a nicer solution for me. If I replace "sort(pts)" by "sort(_<, pts)" it also compiles without your additional "if".
Ralf > )abbrev package FOO Foo > Foo(F: Join(OrderedSet, Field)): Exports == Implementation where > K ==> F > Exports ==> with > foo: List Point K -> List Point K > Implementation ==> add > if Point(K) has OrderedSet then > foo(pts: List Point K): List Point K == sort(pts) -- 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 on the web visit https://groups.google.com/d/msgid/fricas-devel/1ddb5e3e-db59-2a31-b40d-f8c807adc8d9%40hemmecke.org.
