search

AdaCore / ada-spark-rfcs

Platform to submit RFCs for the Ada & SPARK languages
63 stars 28 forks source link

[RFC] Allow a discriminant to constrain a scalar type in a record #68

Closed WRidder closed 3 years ago

WRidder commented 3 years ago

WIP. Would love to hear some initial thoughts on this matter.

https://github.com/WRidder/ada-spark-rfcs/blob/master/considered/rfc-allow-discriminants-to-constrain-scalar-type.rst

yakobowski commented 3 years ago

Rendered view: https://github.com/WRidder/ada-spark-rfcs/blob/master/considered/rfc-allow-discriminants-to-constrain-scalar-type.rst

yakobowski commented 3 years ago

Hi @WRidder . This is an interesting idea, and we will make sure to give you some feedback on it. However, since it is very preliminary at this stage, do you mind converting it into an issue? Thanks.

WRidder commented 3 years ago

Related issue: #72

yakobowski commented 3 years ago

Thanks for the issue. Closing this PR for the moment, we will reopen once we are at a more advanced stage.