From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.5-pre1 (2020-06-20) on ip-172-31-74-118.ec2.internal X-Spam-Level: X-Spam-Status: No, score=0.8 required=3.0 tests=BAYES_50,FREEMAIL_FROM autolearn=ham autolearn_force=no version=3.4.5-pre1 X-Received: by 2002:a05:6214:1110:: with SMTP id e16mr40552964qvs.62.1609411094818; Thu, 31 Dec 2020 02:38:14 -0800 (PST) X-Received: by 2002:a37:c89:: with SMTP id 131mr57703907qkm.468.1609411094694; Thu, 31 Dec 2020 02:38:14 -0800 (PST) Path: eternal-september.org!reader02.eternal-september.org!news.gegeweb.eu!gegeweb.org!usenet-fr.net!proxad.net!feeder1-2.proxad.net!209.85.160.216.MISMATCH!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail Newsgroups: comp.lang.ada Date: Thu, 31 Dec 2020 02:38:14 -0800 (PST) Complaints-To: groups-abuse@google.com Injection-Info: google-groups.googlegroups.com; posting-host=84.209.88.37; posting-account=bPTmZAoAAAC_6HP9XLKB9aAAxBa6BuOR NNTP-Posting-Host: 84.209.88.37 User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: <3c1a2fe9-e8f2-401f-870d-aecd9e0f9c69n@googlegroups.com> Subject: Question on variant/discriminated records From: reinert Injection-Date: Thu, 31 Dec 2020 10:38:14 +0000 Content-Type: text/plain; charset="UTF-8" Xref: reader02.eternal-september.org comp.lang.ada:60982 List-Id: Hello, Assume the following program and change "y1" to "y". procedure test3 is type options1_Type is (a,b,c); type rec1_Type(option1 : options1_Type) is record x : Float; case option1 is when a => null; when b => y : float; when c => y1,z : float; end case; end record; begin null; end test3; My compiler does not like this change. I find it not natural to invent a new name "y1" instead of "y". What should I do? reinert