From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,fea5f9c57f8bf287,start X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2001-10-20 08:54:06 PST Path: archiver1.google.com!news1.google.com!newsfeed.stanford.edu!news.tele.dk!small.news.tele.dk!195.158.233.21!news1.ebone.net!news.ebone.net!diablo.netcom.net.uk!netcom.net.uk!diablo.theplanet.net!btnet-peer!btnet-peer0!btnet!news5-gui.server.ntli.net!ntli.net!news6-win.server.ntlworld.com.POSTED!not-for-mail Sender: mjw@golux Newsgroups: comp.lang.ada Subject: Discriminants constraining unconstrained array types From: Matthew Woodcraft Message-ID: <87g08e9urn.fsf@chiark.greenend.org.uk> User-Agent: Gnus/5.0808 (Gnus v5.8.8) Emacs/20.7 MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Date: 20 Oct 2001 16:49:16 +0100 NNTP-Posting-Host: 213.107.104.73 X-Complaints-To: abuse@ntlworld.com X-Trace: news6-win.server.ntlworld.com 1003592934 213.107.104.73 (Sat, 20 Oct 2001 16:48:54 BST) NNTP-Posting-Date: Sat, 20 Oct 2001 16:48:54 BST Organization: ntl Cablemodem News Service Xref: archiver1.google.com comp.lang.ada:14969 Date: 2001-10-20T16:49:16+01:00 List-Id: 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-