Re: GNAT and Dimension Checking

[Martin <martin@thedowies.com>]

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