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!news.eternal-september.org!feeder.eternal-september.org!aioe.org!.POSTED!not-for-mail
From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Newsgroups: comp.lang.ada
Subject: Re: How to write "Hello" to a text file without a line terminator
Date: Sun, 14 Aug 2016 21:19:29 +0200
Organization: Aioe.org NNTP Server
Message-ID: <noqg7v$1j2p$1@gioia.aioe.org>
References: <2cc97e17-313e-44b8-b335-8d5e815e925a@googlegroups.com>
 <nojti9$8sq$1@gioia.aioe.org>
 <4c49991e-9001-464f-afbb-3fcbf78e5656@googlegroups.com>
 <nol1ao$fpp$1@dont-email.me>
 <ee68c010-85f0-4c38-b335-cdb3815f45c4@googlegroups.com>
 <nom7bg$t7l$1@dont-email.me>
 <41b076f1-66b0-4142-8b91-0e717b6176c2@googlegroups.com>
 <nonne4$606$1@dont-email.me>
 <7dd84caf-d094-4498-a6f1-91e275f09346@googlegroups.com>
 <lyvaz321nv.fsf@pushface.org>
 <0ae794b4-d8a1-4a03-823b-0e0fd770b44a@googlegroups.com>
 <noq8c9$ahk$1@dont-email.me>
 <2c9a3cde-f845-4f2f-a78b-9337d326e3e1@googlegroups.com>
NNTP-Posting-Host: xelDFTENDI+dlkJFd2Ot2w.user.gioia.aioe.org
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 7bit
X-Complaints-To: abuse@aioe.org
User-Agent: Mozilla/5.0 (Windows NT 10.0; WOW64; rv:45.0) Gecko/20100101
 Thunderbird/45.2.0
X-Notice: Filtered by postfilter v. 0.8.2
Xref: news.eternal-september.org comp.lang.ada:31443
Date: 2016-08-14T21:19:29+02:00
List-Id: <comp.lang.ada>

On 2016-08-14 20:26, AdaMagica wrote:
> Am Sonntag, 14. August 2016 19:05:16 UTC+2 schrieb Jeffrey R. Carter:
>> In practice, a subtype S is definite if you can declare an object of the subtype
>> without adding any additional information:
>>
>> V : S:
>>
>> and indefinite otherwise.
>
> You're right, I was confused with respect to unconstrained vs.
> indefinit. The latter is quite impossible to read in general, except
> when you know beforehand what to read.

There is no difference in that regard. You need to know the constraints 
in order to read an instance. The real difference is whether 
discriminant is a constraint or a part of the value.

-- 
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de