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-Thread: 103376,fd173879a595bde
X-Google-Attributes: gid103376,public
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news3.google.com!news.glorb.com!proxad.net!proxad.net!newsfeed.arcor.de!news.arcor.de!not-for-mail
Date: Fri, 04 Nov 2005 19:35:46 +0100
From: Georg Bauhaus <bauhaus@futureapps.de>
User-Agent: Debian Thunderbird 1.0.2 (X11/20051002)
X-Accept-Language: en-us, en
MIME-Version: 1.0
Newsgroups: comp.lang.ada
Subject: Re: Default rep specs for record types - documented??
References: <slrndmloee.kq0.bogus_addy@tango.mindfuq.org>
 <meKdnXXIJd6tVPfeRVn-vw@comcast.com>
 <slrndmlus8.kq0.bogus_addy@tango.mindfuq.org> <uacgktuhd.fsf@acm.org>
 <12d68$436b7143$499545a$1561@ALLTEL.NET>
In-Reply-To: <12d68$436b7143$499545a$1561@ALLTEL.NET>
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Message-ID: <436bb77f$0$7428$9b4e6d93@newsread4.arcor-online.net>
Organization: Arcor
NNTP-Posting-Date: 04 Nov 2005 20:33:23 MET
NNTP-Posting-Host: 991e5a02.newsread4.arcor-online.net
X-Trace: 
 DXC=]cD5e9eLkgna0B5i45NL;d:ejgIfPPlddjW\KbG]kaMh1BZS;MmC65f]Q63bIS4U3i8JM^O\[iIdcCRNZgB5JQBh
X-Complaints-To: usenet-abuse@arcor.de
Xref: g2news1.google.com comp.lang.ada:6212
Date: 2005-11-04T20:33:23+01:00
List-Id: <comp.lang.ada>

Marc A. Criley wrote:
> Stephen Leake wrote:
> 
>> One problem is that the compiler does _not_ warn you if you leave a
>> component out of the rep clause; a 'pragma Complete_Representation'
>> would be nice. Specifying the total size can mitigate this, but I
>> recently had a bug due to this problem.
> 
> 
> A couple years ago the idea of adding such a pragma, albeit with some 
> other name, was submitted to the ARG, and there was some discussion on 
> it.  It was ultimately rejected due to being, as I vaguely recall, of 
> being of insufficient value to justify the effort.

I remember someone suggesting

   for R use all
      record
         ...
      end record;

Wouldn't that work nicely, and be fairly easy to parse, both
for the reader, and for the parser?


-- Georg