WG: Structured exception information

["Grein, Christoph (Fa. ESG)" <Christoph.Grein@eurocopter.com>]

Note that the full type need not have a discriminant:

    package P is
      type T (<>) is private;
      function Constructor (S: String) return T;
    private
      type T is record
        null;
      end record;
    end P;

Your program seems correct with a little change, however return of
limited
types is not yet implemented in Gnat:

private with Ada.Finalization;
package P is
  type T (<>) is limited private;
  function Constructor (S: String) return T;
private
  type T (I: Integer) is new Ada.Finalization.Limited_Controlled with
    record
      null;
    end record;
end P;
package body P is
  function Constructor (S: String) return T is
  begin
    return (Ada.Finalization.Limited_Controlled with I => 0);
  end Constructor;
end P;
with P;
procedure Hello is
  X: P.T := P.Constructor ("some params");
begin
  null;
end Hello;