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.9 required=5.0 tests=BAYES_00,FREEMAIL_FROM
	autolearn=ham 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.223.40 with SMTP id qr8mr21039836pbc.0.1341832779680;
        Mon, 09 Jul 2012 04:19:39 -0700 (PDT)
Path: 
 l9ni11236pbj.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: Mon, 9 Jul 2012 04:19:39 -0700 (PDT)
Organization: http://groups.google.com
Message-ID: <98055a90-f7b3-420c-aa09-4203e2fb497b@googlegroups.com>
References: <2afdc8e6-def0-4a00-8535-4db40165fc92@googlegroups.com>
 <7ca251de-8f43-434e-8884-85fef7f493e2@googlegroups.com>
 <a36fadb0-5f00-42d0-afeb-6bf4cac814f3@googlegroups.com>
NNTP-Posting-Host: 91.7.52.133
Mime-Version: 1.0
X-Trace: posting.google.com 1341832779 18986 127.0.0.1 (9 Jul 2012 11:19:39
 GMT)
X-Complaints-To: groups-abuse@google.com
NNTP-Posting-Date: Mon, 9 Jul 2012 11:19:39 +0000 (UTC)
In-Reply-To: <a36fadb0-5f00-42d0-afeb-6bf4cac814f3@googlegroups.com>
Complaints-To: groups-abuse@google.com
Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=91.7.52.133;
 posting-account=rmHyLAoAAADSQmMWJF0a_815Fdd96RDf
User-Agent: G2/1.0
Content-Type: text/plain; charset=ISO-8859-1
Date: 2012-07-09T04:19:39-07:00
List-Id: <comp.lang.ada>

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.