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 2002:a24:2c4d:: with SMTP id i74mr32012615iti.12.1546368449235;
        Tue, 01 Jan 2019 10:47:29 -0800 (PST)
X-Received: by 2002:a9d:2c22:: with SMTP id f31mr814848otb.4.1546368449171;
 Tue, 01 Jan 2019 10:47:29 -0800 (PST)
Path: 
 eternal-september.org!reader01.eternal-september.org!feeder.eternal-september.org!nntp-feed.chiark.greenend.org.uk!ewrotcd!usenet-its.stanford.edu!usenet.stanford.edu!k10no58922itk.0!news-out.google.com!v141ni192ita.0!nntp.google.com!q69no58944itb.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Tue, 1 Jan 2019 10:47:28 -0800 (PST)
In-Reply-To: <bd37b4f1-7b18-4ba1-a6a6-79740221eecb@googlegroups.com>
Complaints-To: groups-abuse@google.com
Injection-Info: glegroupsg2000goo.googlegroups.com;
 posting-host=50.66.161.135;
 posting-account=lzqe5AoAAADHhp_gregSufVhvwu22fBS
NNTP-Posting-Host: 50.66.161.135
References: <f38540f4-d18c-4eac-bb79-de126b655583@googlegroups.com>
 <6fa96f1a-c7d3-491a-a822-754bac6d50e7@googlegroups.com>
 <bd37b4f1-7b18-4ba1-a6a6-79740221eecb@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <b6945278-ab94-4cc6-b854-4ced1d55988c@googlegroups.com>
Subject: =?UTF-8?Q?Re=3A_=D0=A1reate_attributes=2E?=
From: Brad Moore <bmoore.ada@gmail.com>
Injection-Date: Tue, 01 Jan 2019 18:47:29 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
Xref: reader01.eternal-september.org comp.lang.ada:55151
Date: 2019-01-01T10:47:28-08:00
List-Id: <comp.lang.ada>

On Friday, December 28, 2018 at 2:26:04 AM UTC-7, eduards...@gmail.com wrot=
e:
> Thank!

You're welcome!

I think a slight improvement would be to make the Person_Attribute type non=
-mutable (i.e. remove the ":=3D Person_Attribute_Kinds'First" on the Attrib=
ute_Name discriminant), since I presume you'd want to constrain the First_N=
ame component of the Person type to always be a Name, and constrain the Las=
t_Name component to always be a Surname. In other words, you dont want to a=
llow someone to assign a Surname to the First_Name, or a First_Name value t=
o the Last_Name.

Brad