Martin Baker <ax87...@martinb.com> writes: | On Wednesday 12 Oct 2011 17:09:44 Gabriel Dos Reis wrote: | > Martin Baker <ax87...@martinb.com> writes: | > | Strangely enough (just for the record) although per is not a known | > | function in FriCAS the following line does not produce a compile | > | error: | > | | > | arbitrary == per(-1) | > | | > | but it did not return the expected type, so I had to do: | > | | > | per(x:Rep):% == x pretend % | > | arbitrary == per(-1) | > | > I think the latter was part of what Bill said. | | What I'm saying is, in FriCAS, if rep is called but not defined, then I get a | compiler error: | >> Apparent user error: | cannot compile (rep a) | | but if per is called but not defined then there is no compiler error (except | for possible type mismatch in other parts of the program). | | Is that what Bill said?
No. :-) The first part of your elaboration makes things clearer now and brings a different understanding. Thanks. -- Gaby ------------------------------------------------------------------------------ All the data continuously generated in your IT infrastructure contains a definitive record of customers, application performance, security threats, fraudulent activity and more. Splunk takes this data and makes sense of it. Business sense. IT sense. Common sense. http://p.sf.net/sfu/splunk-d2d-oct _______________________________________________ open-axiom-devel mailing list open-axiom-devel@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/open-axiom-devel
