search

Ada-Rapporteur-Group / User-Community-Input

Ada User Community Input Working Group - Github Mirror Prototype
27 stars 1 forks source link

Container aggregates of a class-wide type #61

Open sttaft opened 1 year ago

sttaft commented 1 year ago

Currently container aggregates are not allowed to be of a class-wide type. Is this restriction necessary?

sttaft commented 1 year ago

Randy says it would act like a tag-indeterminate function, and that is how you would determine its tag at run-time.

sttaft commented 3 months ago

Here is a draft AI addressing this issue:

https://docs.google.com/document/d/1cSJoSUHrgRq7CcnHYzzk2NwgLH8_w7MzGKR7Vp8HrG0/edit?usp=sharing