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=unavailable autolearn_force=no version=3.4.4
X-Received: by 10.36.242.65 with SMTP id j62mr6418362ith.7.1511010385725;
        Sat, 18 Nov 2017 05:06:25 -0800 (PST)
X-Received: by 10.157.32.78 with SMTP id n72mr237996ota.12.1511010385645; Sat,
 18 Nov 2017 05:06:25 -0800 (PST)
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!feeder.eternal-september.org!news.kjsl.com!usenet.stanford.edu!i6no344266itb.0!news-out.google.com!193ni738iti.0!nntp.google.com!d140no337128itd.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Sat, 18 Nov 2017 05:06:25 -0800 (PST)
In-Reply-To: <f79394Ffvq2U1@mid.individual.net>
Complaints-To: groups-abuse@google.com
Injection-Info: glegroupsg2000goo.googlegroups.com;
 posting-host=2003:c7:83c6:b0e7:7174:f2a5:47cd:78bf;
 posting-account=rmHyLAoAAADSQmMWJF0a_815Fdd96RDf
NNTP-Posting-Host: 2003:c7:83c6:b0e7:7174:f2a5:47cd:78bf
References: <lyr2szehuo.fsf@pushface.org> <f73kt9F818aU1@mid.individual.net>
 <ly8tf5dzy7.fsf@pushface.org> <f79394Ffvq2U1@mid.individual.net>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <591a9389-a4b8-43fa-b963-0ebb9e488be1@googlegroups.com>
Subject: Re: Ada.Real_Time.Time_Last
From: AdaMagica <christ-usch.grein@t-online.de>
Injection-Date: Sat, 18 Nov 2017 13:06:25 +0000
Content-Type: text/plain; charset="UTF-8"
Xref: feeder.eternal-september.org comp.lang.ada:48986
Date: 2017-11-18T05:06:25-08:00
List-Id: <comp.lang.ada>

Am Freitag, 17. November 2017 22:39:51 UTC+1 schrieb Niklas Holsti:

> Long ago, I suggested (on c.l.a) an Ada extension by which a package 
> could declare private types using the same classes of types that can be 
> used for generic formal types. That would IMO not only be useful for 
> programmers, it could formalise some of the informal text in the Ada RM. 
> For example, RM A.4.8 defines the type Ada.Direct_IO.Count as
> 
>     type Count is range 0 .. implementation defined;
> 
> With the suggested extension, this could be written in legal (extended) 
> Ada as
> 
>     type Count is private range <>;
> 
> That form still does not show that Count'First = 0, but with a little 
> further extension one could perhaps leave only the upper bound 
> unspecified, as in:
> 
>     type Count is private range 0 .. <>;
> 
> Perhaps it is time for me to revive this proposal...
> 
Problem with this is that private types have no predefined operators.