From: AdaMagica <christ-usch.grein@t-online.de>
Subject: Re: GNAT and Dimension Checking
Date: Mon, 9 Jul 2012 04:19:39 -0700 (PDT)
Date: 2012-07-09T04:19:39-07:00 [thread overview]
Message-ID: <98055a90-f7b3-420c-aa09-4203e2fb497b@googlegroups.com> (raw)
In-Reply-To: <a36fadb0-5f00-42d0-afeb-6bf4cac814f3@googlegroups.com>
On Monday, July 9, 2012 10:20:53 AM UTC+2, Martin wrote:
> 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?
See Ada95 Issue 324 for Tucker's packages and discussion.
No, all those problems with the combinatorial explosion of functions are gone with this really ingenious use of aspects.
The method keeps a record of the (possibly fractional) dimension of each item at compile-time just like my packages at http://www.christ-usch-grein.homepage.t-online.de/Ada/SI.html do at run-time. It's very easy to use and dimensioned literals look nice.
prev parent reply other threads:[~2012-07-09 11:19 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
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 [this message]
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox