Re: Unknown constraints and type composition

[sbelmont700@gmail.com]

One approach would be to use coextensions, assuming you are aware of all that entails, e.g.:

type Inner (<>) is private;
function Create_Inner return Inner;

...

type Outer (<>) is private;
function Create_Outer return Outer;

private
type Outer (x : access Inner) is null record;

function Create_Outer return Outer is
begin
  return Outer (x => new Inner'(Create_Inner));
end Create;


And, assuming the compiler follows the advice (and is bug free :/ ) everything should work itself out safely and neatly.  Though a portable way to do this would be nice.

-sb