Re: Restrictions on compilers for Microsoft's .NET project

["Martin Dowie" <martin.dowie@nospam.baesystems.com>]

> Note that this says that non-overlapped variants are ok. Ada only
> allows non-overlapped variants.

er, shurely shome mishtake?...

it does allow them to be overlapping (via 'Size or a rep spec) but
e.g.
   type A_Variant (Value : Foo := Foo'First) is record
      case Value is
         when Bar1 =>
            Int : Integer;
         when Bar2 =>
            Bool : Boolean;
      end case;
   end record;
   for A_Variant'Size use 64;

but you do have to make a positive decision to do it and to do
and you can't just change to the other variant without again
doing something explicit (e.g. uncheck conversion, or a whole
record assignment).