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.3 required=5.0 tests=BAYES_00,FREEMAIL_FROM,
	URG_BIZ autolearn=no autolearn_force=no version=3.4.4
X-Google-Thread: 103376,608011466ae2af71
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Received: by 10.68.227.67 with SMTP id ry3mr18298911pbc.8.1341743592638;
        Sun, 08 Jul 2012 03:33:12 -0700 (PDT)
Path: 
 l9ni11158pbj.0!nntp.google.com!news2.google.com!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail
From: AdaMagica <christ-usch.grein@t-online.de>
Newsgroups: comp.lang.ada
Subject: Re: GNAT and Dimension Checking
Date: Sun, 8 Jul 2012 03:33:10 -0700 (PDT)
Organization: http://groups.google.com
Message-ID: <7ca251de-8f43-434e-8884-85fef7f493e2@googlegroups.com>
References: <2afdc8e6-def0-4a00-8535-4db40165fc92@googlegroups.com>
NNTP-Posting-Host: 91.7.84.193
Mime-Version: 1.0
X-Trace: posting.google.com 1341743592 31441 127.0.0.1 (8 Jul 2012 10:33:12
 GMT)
X-Complaints-To: groups-abuse@google.com
NNTP-Posting-Date: Sun, 8 Jul 2012 10:33:12 +0000 (UTC)
In-Reply-To: <2afdc8e6-def0-4a00-8535-4db40165fc92@googlegroups.com>
Complaints-To: groups-abuse@google.com
Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=91.7.84.193;
 posting-account=rmHyLAoAAADSQmMWJF0a_815Fdd96RDf
User-Agent: G2/1.0
Content-Type: text/plain; charset=ISO-8859-1
Date: 2012-07-08T03:33:10-07:00
List-Id: <comp.lang.ada>

On Sunday, July 8, 2012 3:50:51 AM UTC+2, Robert A Duff wrote:
> AdaMagica writes:
> 
> > Currently very poorly documented.
> >
> > There are a few minor problems and some (in my honest opinion) more severe
> > ones in output.
> 
> AdaCore won't do anything about the problems unless you send them
> to report@adacore.com.
> 
> - Bob

I do not want to post "problems" to AdaCore before some discussion in CLA. Perhaps others think differently or have other ideas. And if this is ever going to be standardised, it should be heavily discussed as an AI. Just collecting opinions here.

What astonishes me is that there are so few responses. Every now and then in the past, it seemed there were urgent requests for physical unit checking, and now that an ingenious proposal is there, there is dead silence.