Re: Weird behavior with modular type

[Adam Beneschan <adam@irvine.com>]

On Feb 7, 10:35 am, Yannick Duchêne (Hibou57)
<yannick_duch...@yahoo.fr> wrote:
> Le Tue, 07 Feb 2012 19:15:27 +0100, Adam Beneschan <a...@irvine.com> a
> écrit:
>
> > In the first example, [...] Anyway,
> > this means that in 10**I, the type of 10 is the modular type
> > Modular_Type
>
> Why? "I" is a subtype of Natural, so 10**I should be too.

Please reread what I wrote about "**".  It is not like other
operators.  Its right operand is always Integer (of which Natural is a
subtype).  Therefore, knowing that I is an integer is *not* enough to
determine the type of the left operand.  The type of 10, and the type
of 10**I, cannot be determined until you look at the larger context,
which means that this:

> Things look like
> if the left-hand side of "<" has a consequence on the interpretation of
> its right-hand side.

is exactly correct.  The compiler can't determine the type of 10 or
10**I until it sees the left-hand side of "<".

                        -- Adam