Re: [Axiom-developer] Question concerning types...

[Ralf Hemmecke]

On 09/18/2006 02:03 PM, Gabriel Dos Reis wrote:
> Ralf Hemmecke <address@hidden> 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