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:a0c:acc2:: with SMTP id n2mr17540915qvc.225.1576323240887; Sat, 14 Dec 2019 03:34:00 -0800 (PST) X-Received: by 2002:a05:6830:56a:: with SMTP id f10mr19366253otc.368.1576323240763; Sat, 14 Dec 2019 03:34:00 -0800 (PST) Path: eternal-september.org!reader01.eternal-september.org!feeder.eternal-september.org!aioe.org!peer01.am4!peer.am4.highwinds-media.com!peer03.iad!feed-me.highwinds-media.com!news.highwinds-media.com!g89no2135630qtd.0!news-out.google.com!w29ni1342qtc.0!nntp.google.com!g89no2135621qtd.0!postnews.google.com!google-groups.googlegroups.com!not-for-mail Newsgroups: comp.lang.ada Date: Sat, 14 Dec 2019 03:34:00 -0800 (PST) In-Reply-To: <87d0crwn8f.fsf@nosuchdomain.example.com> Complaints-To: groups-abuse@google.com Injection-Info: google-groups.googlegroups.com; posting-host=185.22.143.114; posting-account=rmHyLAoAAADSQmMWJF0a_815Fdd96RDf NNTP-Posting-Host: 185.22.143.114 References: <87muca3vgd.fsf@nightsong.com> <57d49047-0a61-4d13-8822-d004732a3acc@googlegroups.com> <3b1b248b-43d0-4762-b1f5-1c5460d24c8b@googlegroups.com> <5e222e6c-7afe-4349-ac66-d9b78ca40ec6@googlegroups.com> <27b11294-d628-4118-8328-a4a9a3946937@googlegroups.com> <80bcdfd1-b1e5-4ebf-aa8a-4beaba5ec3c2@googlegroups.com> <60e61003-409d-4bd5-9784-8ddad5942934@googlegroups.com> <4f659af6-c840-4509-9f76-e9a96b547a55@googlegroups.com> <87d0crwn8f.fsf@nosuchdomain.example.com> User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: <44496a52-9700-4410-bd13-58eb9121f981@googlegroups.com> Subject: Re: Beginning Ada Programming, by Andrew T. Shvets (2020) From: AdaMagica Injection-Date: Sat, 14 Dec 2019 11:34:00 +0000 Content-Type: text/plain; charset="UTF-8" X-Received-Bytes: 2397 X-Received-Body-CRC: 418387304 Xref: reader01.eternal-september.org comp.lang.ada:57729 Date: 2019-12-14T03:34:00-08:00 List-Id: Am Samstag, 14. Dezember 2019 05:21:55 UTC+1 schrieb Keith Thompson: > >> > Type Digit is Character Range '0'..'9'; > >> > Type Upper_Case is Character Range 'A'..'Z'; > >> > Type Lower_Case is Character Range 'a'..'z'; > >> > Type Symbol is Character > >> > with Static_Predicate => Symbol in '!'|'@'|'#'|'$'|'%'|'^'|'&'|'*'; > Don't those 4 types need to be subtypes? Of course all these four should be subtypes.