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!feeder.eternal-september.org!news.unit0.net!fu-berlin.de!uni-berlin.de!individual.net!not-for-mail
From: Niklas Holsti <niklas.holsti@tidorum.invalid>
Newsgroups: comp.lang.ada
Subject: Re: How to make tasks to run in parallel
Date: Tue, 17 Oct 2017 11:06:21 +0300
Organization: Tidorum Ltd
Message-ID: <f4lrvqF2o9kU1@mid.individual.net>
References: <d60e5e8f-e06a-410c-bcce-bb8fba358d52@googlegroups.com>
 <lghFB.28855$I81.24241@fx26.fr7>
 <08b898a2-168e-4740-9c6e-8f2d9abf7093@googlegroups.com>
 <3aebc413-4284-41f4-a31c-45091a31d2b3@googlegroups.com>
 <os4chu$v6m$1@gioia.aioe.org>
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 7bit
X-Trace: individual.net sUniGgrLx0SE9qxCXLeF3A1LUpk/+FFlDwjD1yc4VpDqfBQ4Ae
Cancel-Lock: sha1:kxZ+3AWSUYa0ZU3yIN6/zqkivZs=
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.8; rv:45.0)
 Gecko/20100101 Thunderbird/45.8.0
In-Reply-To: <os4chu$v6m$1@gioia.aioe.org>
Xref: news.eternal-september.org comp.lang.ada:48490
Date: 2017-10-17T11:06:21+03:00
List-Id: <comp.lang.ada>

On 17-10-17 10:47 , Dmitry A. Kazakov wrote:
> On 17/10/2017 09:32, reinert wrote:
>
>> It sometimes use:
>> "type Real is Digits 18;"
>>
>> I see the point (sometimes) using "substype" here. But I also like to
>> avoid to add meter and seconds :-) I.e. to be "clean" with respect
>> to  dimensions/units.
>
> GNAT has a non-standard dimension aspect which does that.
>
> But that is a wrong approach.

By "that", did you mean the GNAT approach? Or the approach suggested by 
reinert, using different types?

> Dimension cannot be made a part of the
> type. Because that would preclude major use cases where dimensioned
> values are actually used. Dimension should be subtype constraint.

AdaCore agree with you: the GNAT Dimension aspect is per subtype, not 
per type.

https://gcc.gnu.org/onlinedocs/gnat_rm/Aspect-Dimension.html

-- 
Niklas Holsti
Tidorum Ltd
niklas holsti tidorum fi
       .      @       .