[Top][All Lists]

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

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

From: Gabriel Dos Reis
Subject: Re: [Axiom-developer] Question concerning types...
Date: 18 Sep 2006 14:03:51 +0200

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?

-- Gaby

reply via email to

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