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
	autolearn=unavailable autolearn_force=no version=3.4.4
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!mx02.eternal-september.org!feeder.eternal-september.org!gandalf.srv.welterde.de!news.jacob-sparre.dk!loke.jacob-sparre.dk!pnx.dk!.POSTED!not-for-mail
From: "Randy Brukardt" <randy@rrsoftware.com>
Newsgroups: comp.lang.ada
Subject: Re: operation can be dispatching in only one type
Date: Wed, 2 Dec 2015 13:33:28 -0600
Organization: JSA Research & Innovation
Message-ID: <n3nh28$cgn$1@loke.gir.dk>
References: <b4aee46c-7dbb-4906-99c5-f4f8e9876fc6@googlegroups.com>
 <n2viun$sb0$1@dont-email.me>
 <04eb6626-644b-4b16-a329-c35659a9fbe2@googlegroups.com>
 <n325f8$kq0$1@dont-email.me> <dbjve4F188rU1@mid.individual.net>
 <n32lqq$sqm$1@dont-email.me> <1ephv5ugr5mib$.9ehadf3dddct$.dlg@40tude.net>
 <c3827fcd-6b2e-4c64-8901-1e91030f1c84@googlegroups.com>
 <1nf8wc05tjtvf$.1ctjb9hsr0qsp.dlg@40tude.net>
 <8132c558-aec2-41f4-8024-4a75a2d497ae@googlegroups.com>
 <17c8a7kqoxvff.aa1raqev6xlu$.dlg@40tude.net>
 <75a4c7be-391d-4e5d-9e6e-23607132c943@googlegroups.com>
 <n377k1$36j$1@dont-email.me>
 <343b78d1-c1ba-40d3-af80-e18de45f2e3d@googlegroups.com>
 <n37sup$s1k$1@dont-email.me> <wkw9b1sq4mg0.14cvqyjh3bit8.dlg@40tude.net>
 <n39jt9$292$1@dont-email.me> <11das66l3vhic$.1stkau3dqp6ld.dlg@40tude.net>
 <n3ii6l$bom$1@loke.gir.dk> <6y03ogx0fsk8$.n0ldd6cud931$.dlg@40tude.net>
 <n3jvim$oqc$1@dont-email.me> <51sbiz7sr8o7$.9wqd8z5xjlf8$.dlg@40tude.net>
NNTP-Posting-Host: rrsoftware.com
X-Trace: loke.gir.dk 1449084809 12823 24.196.82.226 (2 Dec 2015 19:33:29 GMT)
X-Complaints-To: news@jacob-sparre.dk
NNTP-Posting-Date: Wed, 2 Dec 2015 19:33:29 +0000 (UTC)
X-Priority: 3
X-MSMail-Priority: Normal
X-Newsreader: Microsoft Outlook Express 6.00.2900.5931
X-RFC2646: Format=Flowed; Original
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2900.6157
Xref: news.eternal-september.org comp.lang.ada:28622
Date: 2015-12-02T13:33:28-06:00
List-Id: <comp.lang.ada>

"Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> wrote in message 
news:51sbiz7sr8o7$.9wqd8z5xjlf8$.dlg@40tude.net...
> On Tue, 1 Dec 2015 12:19:02 +0100, G.B. wrote:
...
>> Sounds a bit like user defined aspects of compilation?
>
> It is not an aspect. Aspect is a view, characteristic, feature:
>
> http://www.thefreedictionary.com/aspect
>
> It means that aspect may not change the semantics.

Ada 83 tried that fiction (both for representation clauses and pragmas), but 
the results were laughable. Almost anything you can do modifies the sematics 
in some subtle way. (The only pragma that really doesn't modify the 
semantics is List(On)). A better way to view them is as modifiers or 
specifiers that reign in implementation freedom and/or add additional 
capabilities. Perhaps a better term could have been used, but as they were 
already called aspects in Ada 95 (and probably Ada 83, I'm not going to look 
right now), we left the terminology the same.

                                Randy.