Re: Weird behavior with modular type

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

Le Tue, 07 Feb 2012 18:49:14 +0100, Jeffrey Carter  
<spam.jrcarter.not@spam.not.acm.org> a écrit:

> On 02/07/2012 10:24 AM, Yannick Duchêne (Hibou57) wrote:
>  >
>> Seems in the first case, the left‑side of “E < 10 ** I” has a modulo  
>> applied, or
>> else, I see no way to explain the result, "FALSE". But why would this  
>> modulo be
>> applied with a subtype of Natural and not with an Universal_Integer?
>
> Seems to me in both cases the expression on the right of "<" is  
> Universal_Integer. What compiler message did you get?

Message is as follow:

    bug.adb:12:23: value not in range of type "Modular_Type" defined at  
line 4
    bug.adb:12:23: static expression fails Constraint_Check

Compiled with GNAT.

Line 12 is the one containing “B := E < Natural'Pos (10 ** I);”.

By the way, formally speaking, the expression is not static, and it should  
compile, although expected to raise a range‑check‑error at runtime.

-- 
“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