From: gautier_niouzes@hotmail.com
Subject: Re: Q: discrete_subtype_definition: static only cases?
Date: Sun, 7 Jun 2020 21:55:00 -0700 (PDT)
Date: 2020-06-07T21:55:00-07:00 [thread overview]
Message-ID: <ca994337-aa77-4050-8c3c-ed98875f1222o@googlegroups.com> (raw)
In-Reply-To: <rbjkl3$5eh$1@dont-email.me>
On Sunday, June 7, 2020 at 11:02:29 PM UTC+2, J-P. Rosen wrote:
> But these are subtype indications, not subtype definitions.
RM 3.6 (6)
discrete_subtype_definition ::= discrete_subtype_indication | range
http://www.ada-auth.org/standards/2xrm/html/RM-3-6.html#p6
I'm afraid, Niklas has won this time :-) .
next prev parent reply other threads:[~2020-06-08 4:55 UTC|newest]
Thread overview: 13+ messages / expand[flat|nested] mbox.gz Atom feed top
2020-06-07 9:27 Q: discrete_subtype_definition: static only cases? gautier_niouzes
2020-06-07 10:40 ` J-P. Rosen
2020-06-07 11:36 ` Niklas Holsti
2020-06-07 12:05 ` Niklas Holsti
2020-06-07 21:02 ` J-P. Rosen
2020-06-08 4:55 ` gautier_niouzes [this message]
2020-06-07 12:13 ` gautier_niouzes
2020-06-07 13:02 ` Jeffrey R. Carter
2020-06-07 13:14 ` gautier_niouzes
2020-06-07 13:50 ` AdaMagica
2020-06-07 14:11 ` gautier_niouzes
2020-06-07 13:00 ` Jeffrey R. Carter
2020-06-11 5:36 ` reinert
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox