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
	autolearn=unavailable autolearn_force=no version=3.4.4
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!.POSTED!not-for-mail
From: "Jeffrey R. Carter" <spam.jrcarter.not@spam.not.acm.org>
Newsgroups: comp.lang.ada
Subject: Re: Redefining "in" "operator"
Date: Tue, 6 Feb 2018 19:07:34 +0100
Organization: Also freenews.netfront.net; news.tornevall.net;
 news.eternal-september.org
Message-ID: <p5cqt7$kqo$1@dont-email.me>
References: <p5a0k1$9tk$1@dont-email.me> <p5a1bq$f3v$1@dont-email.me>
 <p5au0o$e0i$1@franka.jacob-sparre.dk>
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Tue, 6 Feb 2018 18:07:35 -0000 (UTC)
Injection-Info: reader02.eternal-september.org;
 posting-host="e88abe552d2352fe0fa0824d2c636080";
	logging-data="21336"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX19Q1/HjPjmSSEjAOz8xnR+n6Pkt/8yM1yk="
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:52.0) Gecko/20100101
 Thunderbird/52.6.0
In-Reply-To: <p5au0o$e0i$1@franka.jacob-sparre.dk>
Content-Language: en-US
Cancel-Lock: sha1:q3Ib5dk9qHIIFo75zVuV7SKmsrI=
Xref: reader02.eternal-september.org comp.lang.ada:50316
Date: 2018-02-06T19:07:34+01:00
List-Id: <comp.lang.ada>

On 02/06/2018 01:48 AM, Randy Brukardt wrote:
> 
> Well, Ada 2012 also allows it to be a (set) of expressions as well. But your
> basic point applies: there aren't any function parameters that are subtypes
> or that are sets of expressions. One could imagine allowing a pair of
> expressions, but that's just "=" (and "in" in fact uses user-defined "="
> when necessary).

Yes, sorry; thanks for the clarification. When I first learned "in", it was 
subtypes all the way down. Ada 95 added classes of tagged types, and Ada 12, as 
you noted, expanded it further. None of these can be an operand of an operator. 
But when faced with a question like this I sometimes revert to my original 
understanding.

-- 
Jeff Carter
"What I wouldn't give for a large sock with horse manure in it."
Annie Hall
42