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,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 ry3mr20664804pbc.8.1341822054114;
        Mon, 09 Jul 2012 01:20:54 -0700 (PDT)
Path: 
 l9ni11236pbj.0!nntp.google.com!news2.google.com!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail
From: Martin <martin@thedowies.com>
Newsgroups: comp.lang.ada
Subject: Re: GNAT and Dimension Checking
Date: Mon, 9 Jul 2012 01:20:53 -0700 (PDT)
Organization: http://groups.google.com
Message-ID: <a36fadb0-5f00-42d0-afeb-6bf4cac814f3@googlegroups.com>
References: <2afdc8e6-def0-4a00-8535-4db40165fc92@googlegroups.com>
 <7ca251de-8f43-434e-8884-85fef7f493e2@googlegroups.com>
NNTP-Posting-Host: 20.133.0.8
Mime-Version: 1.0
X-Trace: posting.google.com 1341822053 7887 127.0.0.1 (9 Jul 2012 08:20:53
 GMT)
X-Complaints-To: groups-abuse@google.com
NNTP-Posting-Date: Mon, 9 Jul 2012 08:20:53 +0000 (UTC)
In-Reply-To: <7ca251de-8f43-434e-8884-85fef7f493e2@googlegroups.com>
Complaints-To: groups-abuse@google.com
Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=20.133.0.8;
 posting-account=g4n69woAAACHKbpceNrvOhHWViIbdQ9G
User-Agent: G2/1.0
Content-Type: text/plain; charset=ISO-8859-1
Date: 2012-07-09T01:20:53-07:00
List-Id: <comp.lang.ada>

On Sunday, July 8, 2012 11:33:10 AM UTC+1, AdaMagica wrote:
> 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.


Or perhaps because it's the weekend and the start of the holiday season (at least it is here...)!!!

I'll have a look at your points this evening and try a few things out asap.

I really like the idea of attempting this analysis via aspects. I remember you had a few examples of why Tucker's attempt via signature packages came up short, are many of the same issues present in the aspect solution?

-- Martin