[J3] Ada contract model for generic packages

[Ondřej Čertík]

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