From: Matthew Woodcraft <mattheww@chiark.greenend.org.uk>
Subject: Discriminants constraining unconstrained array types
Date: 20 Oct 2001 16:49:16 +0100
Date: 2001-10-20T16:49:16+01:00 [thread overview]
Message-ID: <87g08e9urn.fsf@chiark.greenend.org.uk> (raw)
The following rule appears in the GNAT coding style guide:
| Do not declare discriminated record types where the discriminant is
| used for constraining an unconstrained array type. (Discriminated
| records for a variant part are allowed.)
Does anyone know a reason to avoid this feature of the language in
general, or is it more likely that there's just some issue with the
runtime or bootstrap behaviour which makes it inadvisable to use in the
compiler itself?
-M-
next reply other threads:[~2001-10-20 15:49 UTC|newest]
Thread overview: 5+ messages / expand[flat|nested] mbox.gz Atom feed top
2001-10-20 15:49 Matthew Woodcraft [this message]
2001-10-20 17:39 ` Discriminants constraining unconstrained array types James Rogers
2001-10-20 19:04 ` Damien Carbonne
2001-10-20 20:55 ` Larry Kilgallen
2001-10-20 21:43 ` Jeffrey Carter
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox