On OSX I get three test failures. One of these failures is a problem binding to gmp: GNU multiple precision arithmetic package. This only occurs with dynamic linkage. I claim this is a bug in the build of gmp or in OSX and can't possibly be a bug in Felix. There is also a problem on Linux, but this time with static linkage. It's GMP or the OS which is screwed. Felix can't behave differently in these two cases unless there's something special going on (such as run time loading with dynlink feature). [FAMOUS LAST WORDS! Help me find the bug in Felix! :]
There is a failure with axiom check feature (2 cases). Whats happening here is that we write axiom_check (1,2) or something and all the axioms that take two integers as an argument are evaluated (and should evaluate to true). The problem is that we can end up evaluating an expression that depends on a typeclass virtual, and then find there's no instance for it. Alas, this correctly causes a compile fail. There is no simple workaround here. The actually failing instance is trying to compare two functions for equality, which of course isn't possible. The axiom check involved invokes this comparison indirectly, in other words, the initial axiom triggered IS actually instantiated in a typeclass but that instance depends on another and the indirectly required one isn't checked by the process that selects the axiom for checking (only the top level is checked). It is way too hard to do the full check, since the axioms and typeclasses aren't actually bound yet. The way around this is to guard the axiom check instances so that if there's a compile fail (at least due to the above problem) then the check is simply dropped as a "non-instance" of the axiom. However the axiom checks are reduced to ordinary code like "if not eval_axiom(args) throw exception". So it can be fixed but I don't consider this a high priority (compared to documenting the Felix language!) -- john skaller skal...@users.sourceforge.net ------------------------------------------------------------------------------ RSA(R) Conference 2012 Save $700 by Nov 18 Register now http://p.sf.net/sfu/rsa-sfdev2dev1 _______________________________________________ Felix-language mailing list Felix-language@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/felix-language
