comp.lang.ada
 help / color / mirror / Atom feed
From: AdaMagica <christ-usch.grein@t-online.de>
Subject: Re: GNAT and Dimension Checking
Date: Sun, 8 Jul 2012 03:33:10 -0700 (PDT)
Date: 2012-07-08T03:33:10-07:00	[thread overview]
Message-ID: <7ca251de-8f43-434e-8884-85fef7f493e2@googlegroups.com> (raw)
In-Reply-To: <2afdc8e6-def0-4a00-8535-4db40165fc92@googlegroups.com>

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.



  parent reply	other threads:[~2012-07-08 10:33 UTC|newest]

Thread overview: 17+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2012-07-01  5:53 GNAT and Dimension Checking AdaMagica
2012-07-01  6:25 ` Nasser M. Abbasi
2012-07-01 10:44   ` yogeshwarsing
2012-07-02 20:42     ` Anh Vo
2012-07-02 20:58       ` Adam Beneschan
2012-07-02 21:51         ` Anh Vo
2012-07-01 15:18 ` AdaMagica
2012-07-01 15:47   ` yogeshwarsing
2012-07-06 10:47 ` AdaMagica
2012-07-08  1:50   ` Robert A Duff
2012-07-08 10:33 ` AdaMagica [this message]
2012-07-08 11:37   ` Dmitry A. Kazakov
2012-07-08 14:13     ` AdaMagica
2012-07-08 18:47   ` Jacob Sparre Andersen
2012-07-09 11:06     ` AdaMagica
2012-07-09  8:20   ` Martin
2012-07-09 11:19     ` AdaMagica
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox