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.3 required=5.0 tests=BAYES_00,INVALID_MSGID
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,d1df6bc3799debed
X-Google-Attributes: gid103376,public
From: jsa@alexandria (Jon S Anthony)
Subject: Re: Syntax for tagged record types (was Re: Not intended for use in
 medical,)
Date: 1997/05/25
Message-ID: <JSA.97May24214913@alexandria>#1/1
X-Deja-AN: 243796508
Distribution: world
References: <3.0.32.19970423164855.00746db8@mail.4dcomm.com>
 <dewar.862775250@merv> <5kl9qc$g4d@bcrkh13.bnr.ca>
 <5kmek2$9re@bcrkh13.bnr.ca> <E9rMuy.Hs0@world.std.com> <dewar.863062734@merv>
 <33727FA5.5C7A@sprintmail.com> <dewar.863254456@merv>
 <3374C19F.15FE@sprintmail.com> <dewar.863323812@merv>
 <3376CF85.3E15@sprintmail.com> <EACHUS.97May16200104@spectre.mitre.org>
 <dewar.863877808@merv> <dewar.863880940@merv> <JSA.97May17193543@alexandria>
 <33828299.2A3@world.std.com> <mheaney-ya023680002005972314260001@news.ni.net>
 <JSA.97May21160340@alexandria>
 <mheaney-ya023680002105972302430001@news.ni.net>
 <JSA.97May22203202@alexandria>
 <mheaney-ya023680002305971754170001@news.ni.net>
Organization: PSI Public Usenet Link
Newsgroups: comp.lang.ada
Date: 1997-05-25T00:00:00+00:00
List-Id: <comp.lang.ada>


In article <mheaney-ya023680002305971754170001@news.ni.net> mheaney@ni.net (Matthew Heaney) writes:

> What I am proposing is a new syntax, by adding a constructor abstraction;

Oh.

> File_Type'Open in this example.  (Today, in Ada 95, Text_IO.Open is an
> ordinary procedure.)  It would look something like:
> 
>    constructor Open (Name : String; Mode : File_Mode) return File_Type;
> 
> or maybe
> 
>    constructor File_Type'Open (Name : String; Mode : File_Mode);
> 
> 
> We want to "invoke" the constructor during the elaboration of the File_Type

Oh yeah.  Bob Duff and I went 'round and 'round on this issue a few
months back.  Actually, maybe it was all the way back in the Fall.
Specifically, it concerned why an allocator for a limited type was
defined in terms of assignment when it was given an aggregate.  Bob
generalized the issue to say that, well, for limited types you should
simply be able to initialize them other than by assignment and then
this special case would be OK as well.  Then someone posted a bit from
the Annotated RM which got even more to the point that I was trying to
say: for a limited type the _value_ is basically all there is (no
variable really at all).  Anyway, at that point, we all let the air
out of our shoes and went home.

/Jon
-- 
Jon Anthony
Organon Motives, Inc.
Belmont, MA 02178
617.484.3383
jsa@organon.com