raph-amiard
commented
4 years ago Hey @briot, thanks a lot for the proposal!
The subject is quite complex, and I have not yet finished digesting it, however: Could you format your RFC as rst text, and make sure that it renders correctly? For the moment code samples are borked :slightly_smiling_face: Thanks in advance
Highlighting a current limitation of Ada in the generic contract model
Link to file: https://github.com/briot/ada-spark-rfcs/blob/wip/generic_subtype_formals/considered/generic_subtype_formals.rst