On Mon, Nov 17, 2008 at 11:47 PM, Gabriel Dos Reis wrote: > > hmm, I think I may have found part of what I was looking for, > see the discussion starting at > > http://lists.gnu.org/archive/html/axiom-developer/2007-01/msg00001.html > > (I should have thought of `conditional' when searching). >
Thanks! You have an excellent memory. My recollection was only of our discussion about the use of 'is' in the interpreter. But it seems that 'is' is used extensively in Spad for domain equality. You can find a lot just by grepping 'is Integer' and 'is Float'. There are some good examples in 'numsolve.spad.pamphlet'. Can 'is' be used for "pattern matching" in Spad, or is this only in Boot and the Interpreter? Are you thinking about how this could/should related to equality in Domain? 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
