Re: tagged record child: override constructor?

[Georg Bauhaus <bauhaus@futureapps.de>]

sean.gilbertson@gmail.com wrote:
> I have a tagged record that is declared private, along with a
> constructor function which returns an instance.  I do this to enforce
> the assignment of several required fields in the record, so if you know
> how to do this another way, please let me know!

Another option in addition to those already
mentioned is to make the constructor function part of
a nested construction package. This way the function is no
longer a primitive operation of the type, and can be used
for initialising the T-components of type derived from T.

package P ...
  type T ....

  package Construction ...
     function make(...) return T ...
  end Construction;
end P;