Re: access aliased obstacle

[guerby@gnat.com (Laurent Guerby)]

Robert> Not quite right, there is no reason why a discriminant in a
Robert> variant record should be stored "in the record" in Ada, that
Robert> is just a (common) implementation choice. In fact if you are
Robert> using sub types extensively it is attractive to choose an
Robert> alternative representation where the discriminants are stored
Robert> separately,

   The idea is that there are stored somewhere, "in the record" is an
unfortunate wording ;-). BTW, is there any compiler that use the
alternative you proposed ? How to get the following right without
storing "in the record"?

type T (D : boolean) is null record;

function F return T is
begin 
   return T'(True);
end F;

begin
   if F.D then ...
end;

-- 
Laurent Guerby <guerby@gnat.com>, Team Ada.
   "Use the Source, Luke. The Source will be with you, always (GPL)."