On 09/18/2006 02:03 PM, Gabriel Dos Reis wrote:
Ralf Hemmecke <[EMAIL PROTECTED]> writes:
[...]
| The point is, that you cannot apply an arbitrary
| operation on these indefinite objects.
Why not? Why can't I just construct a suspesion for that operation?
| For example if I have a very
| restricted scope and not / operation can be seen then the compiler
| should reject to compile a/b for indefinite integers a and b.
yes, but that does not negate the lifting semantics. Does it?
I don't understand. What I said *is* the lifting semantics. If there is
no / on Integer there is not / on Indefinite(Integer). That's what I said.
Ralf
_______________________________________________
Axiom-developer mailing list
Axiom-developer@nongnu.org
http://lists.nongnu.org/mailman/listinfo/axiom-developer
