Now this might be a report that is perhaps not reproducible.
I still want to report although I no longer have the files to demoonstrate.
Suppose I have two functions
ZZ ==> Integer
foo: ZZ -> ZZ -> Boolean
foo: ZZ -> (ZZ, ZZ) -> ZZ
in a package/doman A and I want to call them from another domain that
also has such functions.
Conclusion is that I have to package-call them using foo $ A.
Somehow the compiler was (for my situation) unable to distinguish the
two functions from the context.
I should have been able to discriminate using the @-notation.
However, how exactly do I specify such double post-fix stuff?
((foo $ A) @ (ZZ -> Boolean))(2)(4)
did not compile.
I just want to know what actually should work for such situation or
whether that is not implemented at all.
Another issue that I saw recently was that I had a construction like
(foo $ A)(a)(b)
where the error message of the compiler claimed that elt a b does not
work. After I added a dot like this
(foo $ A).(a)(b)
it compiled. Obviously the parenthesis around the first object change
something in the associativity of function application. Sorry, that is
also something I can currently no longer reproduce.
Has someone seen similar situations?
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 visit
https://groups.google.com/d/msgid/fricas-devel/3f71336b-4755-4795-8c63-57b3d199ae07%40hemmecke.org.
