[J3] Ada contract model for generic packages

[Van Snyder]

I have not used Ada since 1996. I did use generic packages, but I don't
remember how to write and instantiate them.
On Thu, 2021-03-11 at 13:25 -0700, Ondřej Čertík via J3 wrote:
> Hi Van,
> On Thu, Mar 11, 2021, at 12:09 PM, Van Snyder via J3 wrote:
> > I received this recently from Randy Brukardt, a denizen of WG9:
> > Ada's contract model for generics requires that a generic body be
> > legal without knowing any details of the actual parameters of any
> > instance; this makes it possible to determine the correctness of a
> > generic body itself, without needing to know of it's instantiation.
> > This was done in 1995.
> > The Ada 2012 standard is online.
> 
> If you know Ada, can you please add a section "Ada" here:
> https://github.com/j3-fortran/generics/blob/main/theory/comparison/comparison.md
> 
> And do the example there in Ada? That would help clarify this issue
> on a concrete problem. If you send me the code I am happy to put it
> in.
> Ondrej
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman.j3-fortran.org/pipermail/j3/attachments/20210311/69b1b59c/attachment-0001.htm>