[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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

From: Ralf Hemmecke
Subject: Re: [Axiom-developer] Question concerning types...
Date: Mon, 18 Sep 2006 14:18:15 +0200
User-agent: Thunderbird (X11/20060719)

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.


reply via email to

[Prev in Thread] Current Thread [Next in Thread]