comp.lang.ada
 help / color / mirror / Atom feed
From: "lekktu@gmail.com" <lekktu@gmail.com>
Subject: Re: Gnat GPL 2010 available soon
Date: Sat, 26 Jun 2010 15:01:27 -0700 (PDT)
Date: 2010-06-26T15:01:27-07:00	[thread overview]
Message-ID: <13171a20-38ec-49ba-a7e3-ee5885519c0f@y11g2000yqm.googlegroups.com> (raw)
In-Reply-To: 1frrgtpa5dycl$.12kl72iqsg3dx$.dlg@40tude.net

On Jun 26, 11:42 pm, "Dmitry A. Kazakov" <mail...@dmitry-kazakov.de>
wrote:

> (Yes, to remove that abomination from the language! (:-))

I don't like it much, but I don't like

 if A then
    V := X;
 else
    V := Y;
 end if;

that much either.

> I didn't read the AI, but your code looks very strange to me. Isn't its
> syntax exposed to the infamous Pascal-if flaw? I mean, where is the "end
> if"? Is this legal:
>
>    (if A then X else if B then Y else Z)

Read the AI. IIRC, parenthesis are usually required, so (if A then X
else (if B then Y else Z)), but the rules for parenthesis are relaxed
in some contexts, like function arguments, so "F (if A then X else
Y);" instead of "F ((if A then X else Y));".

> P.S. Is case allowed too?

I think so, yes.

> P.P.S. Didn't they forget the return statement? It would be great "fun" to
> write and read this:
>
>    if  return X : Boolean do
>           declare
>              ...
>           begin
>              ...
>           end:
>       end return;
>    then
>       ...
>    if;

Very funny... sort of.



  reply	other threads:[~2010-06-26 22:01 UTC|newest]

Thread overview: 42+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2010-06-16 20:14 Gnat GPL 2010 available soon Stephen Sangwine
2010-06-16 21:24 ` Martin
2010-06-16 21:35 ` Simon Wright
2010-06-18 19:48 ` Albrecht Käfer
2010-06-26 12:04   ` lekktu
2010-06-26 21:04     ` anon
2010-06-26 21:41       ` lekktu
2010-06-27  3:33         ` anon
2010-06-27 10:49           ` lekktu
2010-06-26 21:42     ` Dmitry A. Kazakov
2010-06-26 22:01       ` lekktu [this message]
2010-06-27  8:04       ` Gnat GPL 2010 available soon (conditional expressions) Georg Bauhaus
2010-06-27  8:37         ` Dmitry A. Kazakov
2010-06-27 10:55           ` lekktu
2010-06-27 12:12             ` Dmitry A. Kazakov
2010-06-27 13:42               ` Georg Bauhaus
2010-06-27 14:35                 ` Peter C. Chapin
2010-06-27 16:53                   ` Dmitry A. Kazakov
2010-06-28 11:24                     ` Peter C. Chapin
     [not found]                       ` <oizwym2afwmx.1jm5tt7wtpm7v.dlg@40tude.net>
2010-06-28 14:47                         ` Georg Bauhaus
2010-06-28 16:36                           ` Dmitry A. Kazakov
2010-06-28 17:04                             ` Georg Bauhaus
2010-06-28 17:37                               ` Dmitry A. Kazakov
2010-06-29 19:28                   ` Randy Brukardt
2010-06-30  1:19                     ` BrianG
2010-06-30  3:21                       ` Britt Snodgrass
2010-07-05  1:27                         ` Phil Clayton
2010-07-05 10:26                           ` Georg Bauhaus
2010-07-05 14:24                             ` Phil Clayton
2010-07-05 13:12                           ` Dmitry A. Kazakov
2010-07-05 22:47                             ` Phil Clayton
2010-07-06  7:36                               ` Dmitry A. Kazakov
2010-07-06  9:13                                 ` Georg Bauhaus
2010-07-06 16:31                                 ` Phil Clayton
2010-07-06 17:18                                   ` Dmitry A. Kazakov
2010-07-07 12:00                                     ` Phil Clayton
2010-07-07 13:39                                       ` Dmitry A. Kazakov
2010-06-30  4:13                       ` Gautier write-only
2010-06-30 16:46                         ` Warren
2010-06-30  4:09                     ` Gautier write-only
2010-06-30 23:20                       ` Peter C. Chapin
2010-06-27 21:40 ` Gnat GPL 2010 available soon mahdert
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox