Gaby, On Wed, Oct 1, 2008 at 4:40 PM, Gabriel Dos Reis wrote: > > Now that the compiler can assert function types at the generated > Lisp level, we can see places where the coding is a bit sloppy. > This patchlet fixes one place where we were pretending that a > bit (e.g. an integer) is a Boolean. That is just untrue. >
In case our apparent disagreement about who was confused about what, left you or anyone else with the wrong impression, I just wanted to say here that I do think the changes you have made to assert function types is a very valuable addition to open-axiom and that the resulting changes to correct sloppy coding are a very good thing. And I must add, thanks again for your continuing improvements to OpenAxom! Regards, Bill Page. ------------------------------------------------------------------------- This SF.Net email is sponsored by the Moblin Your Move Developer's challenge Build the coolest Linux based applications with Moblin SDK & win great prizes Grand prize is a trip for two to an Open Source event anywhere in the world http://moblin-contest.org/redirect.php?banner_id=100&url=/ _______________________________________________ open-axiom-devel mailing list open-axiom-devel@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/open-axiom-devel