Ralf Hemmecke <r...@hemmecke.de> writes:
| On 01/19/2012 09:11 PM, Gabriel Dos Reis wrote:
| > -- In domain definitions, it makes an artificial distinction between
| > the domain form and % (fornunately OpenAxiom has courtesy
| > conversions to minimize the ill effects of this artificial
| > distinction.)
|
| "domain form"? Can you give a code example that make it more clear
| what distinction you mean?
Take any domain definition, say Integer. You have
Integer(): ...
and in the ... you have a reference to %. That % designates the same
thing as Integer(), but most Spad compilers don't know that. So one gets
to use silly `pretend' expressions to get around that -- with increased
potential of introducing plain bugs that the compiler cannot catch. See
definition of reducedSystem in Integer.
-- Gaby
------------------------------------------------------------------------------
Keep Your Developer Skills Current with LearnDevNow!
The most comprehensive online learning library for Microsoft developers
is just $99.99! Visual Studio, SharePoint, SQL - plus HTML5, CSS3, MVC3,
Metro Style Apps, more. Free future releases when you subscribe now!
http://p.sf.net/sfu/learndevnow-d2d
_______________________________________________
open-axiom-devel mailing list
open-axiom-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/open-axiom-devel
