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 10.236.118.12 with SMTP id k12mr518842yhh.35.1392163137010; Tue, 11 Feb 2014 15:58:57 -0800 (PST) X-Received: by 10.50.148.65 with SMTP id tq1mr22893igb.16.1392163136541; Tue, 11 Feb 2014 15:58:56 -0800 (PST) Path: eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!news.eternal-september.org!news.eternal-september.org!feeder.eternal-september.org!feeder.erje.net!eu.feeder.erje.net!newsfeed0.kamp.net!newsfeed.kamp.net!feeder1.cambriumusenet.nl!feed.tweaknews.nl!209.85.216.88.MISMATCH!f11no17799093qae.1!news-out.google.com!ul13ni14igb.0!nntp.google.com!c10no18261490igq.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail Newsgroups: comp.lang.ada Date: Tue, 11 Feb 2014 15:58:56 -0800 (PST) In-Reply-To: <87k3d1qkgd.fsf@ludovic-brenta.org> Complaints-To: groups-abuse@google.com Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=66.126.103.122; posting-account=KSa2aQoAAACOxnC0usBJYX8NE3x3a1Xq NNTP-Posting-Host: 66.126.103.122 References: <887860151413854987.949178yaldnif.w-blueyonder.co.uk@news.individual.net> <87k3d1qkgd.fsf@ludovic-brenta.org> User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: Subject: Re: character literals From: adambeneschan@gmail.com Injection-Date: Tue, 11 Feb 2014 23:58:56 +0000 Content-Type: text/plain; charset=ISO-8859-1 Xref: news.eternal-september.org comp.lang.ada:18492 Date: 2014-02-11T15:58:56-08:00 List-Id: On Tuesday, February 11, 2014 3:49:06 PM UTC-8, Ludovic Brenta wrote: > >> if Ch in Character range '0' .. '9' then > > Why is the literal type not inferred from the type of Ch in this case? > Because it's the other way around :) the type of Ch is inferred from the > type of the range. No, the type of Ch is inferred from the declaration of Ch, wherever that happens. You didn't read "if" as "for", did you?? -- Adam