Re: Haskell, anyone?

[Simon Wright <simon@pushface.org>]

"Nasser M. Abbasi" <nma@12000.org> writes:

> with ada.text_io; use ada.text_io;
>  procedure foo is
>    type I is range 0 .. 20;
>    x,y : I :=15;
>    z : I :=0;
>    begin
>      z:= x + y ;
>  end foo;
>
>
>>gnatmake foo.adb
> gcc-4.8 -c foo.adb
> foo.adb:8:12: warning: value not in range of type "I" defined at line 4
> foo.adb:8:12: warning: "Constraint_Error" will be raised at run time

The compiler can only do this because the values and the assignment are
close enough (in the same scope?). How often does this sort of mistake
happen IRL?