Re: Weird behavior with modular type

["Yannick Duchêne (Hibou57)" <yannick_duchene@yahoo.fr>]

Le Tue, 07 Feb 2012 18:54:36 +0100, Gautier write-only  
<gautier_niouzes@hotmail.com> a écrit:

> On 7 fév, 18:24, Yannick Duchêne (Hibou57)
>
>>        B := E < 10 ** I;
>
> E is of type Modular_Type.
> 10 ** I is untyped (Universal_Integer ?). It can be an expression of
> type Modular_Type, among other possibilities.
> So, the compiler chooses the "<" which has Modular_Type on both sides,
> right ?
> Then 10 ** 3 = 1000 = 232 (in the Modular_Type world) < 255 = E.
> E is larger, thus the FALSE.

Nice attempt to guess, but there are still question‑marks in this :-P

I will check the RM deeper later or tomorrow if no‑ones recall something.

-- 
“Syntactic sugar causes cancer of the semi-colons.” [1]
“Structured Programming supports the law of the excluded muddle.” [1]
[1]: Epigrams on Programming — Alan J. — P. Yale University