Further experiments. It seems that the name "coerce" is treated
differently by the compiler.
You can compile the attached program with "xxx ==> bar", but not with
"xxx ==> coerce".
Ralf
--
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 on the web visit
https://groups.google.com/d/msgid/fricas-devel/4c02fab8-c770-431d-90b0-04dac78e7ce9%40hemmecke.org.
xxx ==> bar
)abbrev package FOO Foo
Foo(C: Ring): Exports == Implementation where
Exports ==> with
if C has xxx: Integer -> C then
foo: () -> C
Implementation ==> add
if C has xxx: Integer -> C then
blah(x: Integer): C == xxx x
foo(): C == 1
