>> All I want to say is that here are some hidden coercions taking place so >> the returned types are just what the interpreter is able to figure out.
> Yes, this is correct. > In the interpreter, everytime you have a result of type Integer, and > that integer > is a constant that can be coerced into a tighter SubDomain of Integer, > that is done. > The behaviour is controlled by $useIntegerSubDomain. > If you like dpeendent types you should like it! Why do you say that has to do with dependent types? Ralf ------------------------------------------------------------------------- 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
