Re: -ve values in enumeration rep clauses.

[Pascal Ledru <Ledru#m#_Pascal@MSMAIL3.HAC.COM>]

Obviously the range of your byte type should include negative values:

with Unchecked_Conversion;
with Text_IO;
procedure X is

  type A_Type is (A,B,C);

  for A_Type use
    ( A => -3,
      B => -2,
      C => -1 );

  for A_Type'Size use 8;

  --type Byte is new Integer range 0 .. 255;
  type Byte is new Integer range -126 .. 127;

  for Byte'Size use 8;

  function Convert is new Unchecked_Conversion
    ( Source => A_Type,
      Target => Byte );

begin
  Text_IO.Put_Line(Byte'Image( ( Convert(A) );
end;