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!feeder.eternal-september.org!gandalf.srv.welterde.de!news.jacob-sparre.dk!franka.jacob-sparre.dk!pnx.dk!.POSTED.rrsoftware.com!not-for-mail
From: "Randy Brukardt" <randy@rrsoftware.com>
Newsgroups: comp.lang.ada
Subject: Re: A function that cannot be called?
Date: Fri, 19 Oct 2018 20:36:50 -0500
Organization: JSA Research & Innovation
Message-ID: <pqe0rj$1u4$1@franka.jacob-sparre.dk>
References: <pq9tf7$9bf$1@dont-email.me>
 <0a680981-7b14-4b72-b51a-b06ab7822d54@googlegroups.com>
 <f58ce6ac-1737-4d5a-8d4e-14f7d2940711@googlegroups.com>
Injection-Date: Sat, 20 Oct 2018 01:36:51 -0000 (UTC)
Injection-Info: franka.jacob-sparre.dk;
 posting-host="rrsoftware.com:24.196.82.226";
	logging-data="1988"; mail-complaints-to="news@jacob-sparre.dk"
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.7246
Xref: reader02.eternal-september.org comp.lang.ada:54668
Date: 2018-10-19T20:36:50-05:00
List-Id: <comp.lang.ada>

<marciant@earthlink.net> wrote in message 
news:f58ce6ac-1737-4d5a-8d4e-14f7d2940711@googlegroups.com...
> On Friday, October 19, 2018 at 2:19:07 PM UTC-4, marc...@earthlink.net 
> wrote:
...
> Oh, I think maybe (<>) had to be used also on the type definition
> just like you had.

The (<>) was added by Ada 95, as was the rename of function results (a 
mistake, IMHO), so what you wrote wouldn't have been enough in any actual 
version of Ada. Ada 83 didn't have any way to prevent the creation of 
objects without initialization.

                                     Randy.