On Tue, Feb 20, 2024 at 2:44 AM Randy Brukardt <[email protected]> wrote:
> Jeffrey Carter wrote: > > > Yes, there are many uses for discriminated record types. > > Surely. But I think his question was not about untagged discriminated > record > types per-se, but rather about derived untagged discriminated record types > with changed discriminants. A construct which is *much* less useful, and is > almost certainly not useful enough to justify the substantial definitional > and implementation pain associated with it. > Be that as it may, it is way too late to decide that this feature should be ignored when it comes to an appropriate 'Image result. Can we please move this discussion to the ARG GitHub discussion? Having two separate threads of discussion is never useful. Here is the ARG GitHub issue about this topic: https://github.com/Ada-Rapporteur-Group/User-Community-Input/issues/85 > > Randy. > Thanks! -Tuck > > ...
