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=-0.9 required=5.0 tests=BAYES_00,FORGED_GMAIL_RCVD,
	FREEMAIL_FROM autolearn=no autolearn_force=no version=3.4.4
X-Google-Thread: 103376,334f9012742e58fc
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news3.google.com!border1.nntp.dca.giganews.com!border2.nntp.dca.giganews.com!nntp.giganews.com!novia!news-out.readnews.com!postnews3.readnews.com!not-for-mail
Date: Mon, 28 Jun 2010 07:24:14 -0400
From: "Peter C. Chapin" <pcc482719@gmail.com>
User-Agent: Mozilla/5.0 (Windows; U; Windows NT 5.1; en-US;
 rv:1.9.1.10) Gecko/20100512 Thunderbird/3.0.5
MIME-Version: 1.0
Newsgroups: comp.lang.ada
Subject: Re: Gnat GPL 2010 available soon (conditional expressions)
References: <2010061621145016807-sjs@essexacuk>
 <op.veihbktxnfgb3u@richard.piraten.dd>
  <0fa4c574-9539-492f-8514-d32c68beb22a@w31g2000yqb.googlegroups.com>
 <1frrgtpa5dycl$.12kl72iqsg3dx$.dlg@40tude.net>
 <4c270613$0$6974$9b4e6d93@newsspool4.arcor-online.net>
 <1wuwvzgwlwgli$.1birkinieia0d$.dlg@40tude.net>
 <f1a86f31-598c-4cb1-a60e-011da55f5feb@x27g2000yqb.googlegroups.com>
 <1ur19ais2ejih.mjbgdsv9pr66.dlg@40tude.net>
 <4c275562$0$6987$9b4e6d93@newsspool4.arcor-online.net>
 <4c276114$0$2378$4d3efbfe@news.sover.net>
 <4rdrvu1jskwp.1aomtio1yk12o.dlg@40tude.net>
In-Reply-To: <4rdrvu1jskwp.1aomtio1yk12o.dlg@40tude.net>
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 7bit
Message-ID: <4c2885df$0$2386$4d3efbfe@news.sover.net>
Organization: SoVerNet (sover.net)
NNTP-Posting-Host: 95906bbc.news.sover.net
X-Trace: 
 DXC=7h:l7OF=1Ho;>kBkM`GFNeK6_LM2JZB_cT>d1VK4]<Go:WUUlR<856odLVooE;[Fn`lh3G5WZCaCb
X-Complaints-To: abuse@sover.net
X-Original-Bytes: 2236
Xref: g2news1.google.com comp.lang.ada:11962
Date: 2010-06-28T07:24:14-04:00
List-Id: <comp.lang.ada>

On 2010-06-27 12:53, Dmitry A. Kazakov wrote:

> Do not use complicated expressions, that is the point! Note that you have
> to format the expression so that it looked like a normal if. What is the
> gain?

As I mentioned before, I think the real point of the conditional
expressions in Ada is to support the new pre- and post-condition
features. My understanding is that statements are not allowed in that
context. Sure involved cases might look like a normal if, but that's
better than not being able to express a conditional at all. That is, the
point of conditional expressions is not to somehow make the code shorter.

The use of conditional expressions in "normal" code is optional (I
think) but I can see that once you add them to the language, forbidding
them from normal code would seem oddly inconsistent.

Peter