"Bill Page" <[EMAIL PROTECTED]> writes: | 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?
At the moment, it is not used for pattern matching in Spad. But, that may change. | Are you thinking about how this could/should related to equality in Domain? Yes. (And beyond). -- Gaby ------------------------------------------------------------------------- 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
