GNAT won't link on "warning"

[Martin Krischik <martin@krischik.com>]

Hello,

For demonstation purpose I wanted to write a program which will raise an
exception on converting some data:

with Ada.Text_IO;

procedure Convert_Checked
is
   type Short_Short_Integer is range -(2**7) .. +(2**7-1);
   type Byte                is mod   2**8;
  
   package T_IO renames Ada.Text_IO;
   package M_IO is new  Ada.Text_IO.Modular_IO (Byte);

   A : constant Short_Short_Integer := -1;
   B : constant Byte                := Byte (A);
begin
   T_IO.Put ("B = ");
   M_IO.Put (
      Item  => B,
      Width => 5,
      Base  => 10);
end Convert_Checked;

When I compile the demo I get:

convert_checked.adb:12:40: value not in range of type "Byte" defined at line
6
convert_checked.adb:12:40: static expression raises "Constraint_Error"

It is my intention to use a value which is not in range of type "Byte" and
"Constraint_Error" is precicly what I want to demonstate.

However, GNAT won't link the program. Actually GNAT won't even create an *.o
file. Is this right? Is there an option to force creation?

With Regards

Martin

-- 
mailto://krischik@users.sourceforge.net
http://www.ada.krischik.com