From: 18k11tm001@sneakemail.com (Russ)
Subject: Re: status of Ada STL?
Date: 16 Jun 2002 22:29:55 -0700
Date: 2002-06-17T05:29:56+00:00 [thread overview]
Message-ID: <bebbba07.0206162129.67f3a244@posting.google.com> (raw)
In-Reply-To: ulm9f0z8p.fsf@wanadoo.fr
Pascal Obry <p.obry@wanadoo.fr> wrote in message news:<ulm9f0z8p.fsf@wanadoo.fr>...
> 18k11tm001@sneakemail.com (Russ) writes:
>
> > I really don't understand the objection to my proposal.
>
> I've read them all. I see nothing here that will make Ada read better. You
> have 7 rules, all of them are very minor points and in each time your proposal
> seems just more confusing to me.
>
> I don't know if you have a more extensive description for your changes ? Do
> you have examples ?
>
> Let's try a simple one :
>
> Here is the Ada version:
>
> procedure Dummy is
>
> subtype My_Int is Integer range 1 .. 1_024;
>
> procedure Proc (C : out My_Int; A, B : in My_Int := 1) is
> I : constant Integer := 9;
> begin
> if A = 12 then
> C := A + B + I;
> end if;
>
> C := C * (A + 2 * B);
> end Proc;
>
> R : My_Int;
>
> begin
> Proc (A => 2, B => 8, C => R);
> end Dummy;
>
> Here is the Ada-F version :
>
> procedure Dummy is
>
> subtype My_Int is Integer range 1 : 1_024;
>
> procedure Proc (C : out My_Int; A, B = 1 : in My_Int) is
> I = 9 : constant Integer;
> begin
> if A == 12 then
> C = A + B + I
> end if;
>
> C *= (A + 2 * B)
> end Proc;
>
> R : My_Int;
>
> begin
> Proc (A = 2, B = 8, C = R)
> end Dummy
>
> (I have not use rule 1 nor 7)
>
> Are you still saying that Ada-F is looking better than Ada ?
Yes I am. And thanks for the demo. If you get rid of the semicolons it
will look even better.
> One very nasty effect is "A, B = 1 : in My_Int" it looks like only B is
> set to 1.
That's why I'd say only B should be set to 1. That allows me to set A
to something else.
next prev parent reply other threads:[~2002-06-17 5:29 UTC|newest]
Thread overview: 188+ messages / expand[flat|nested] mbox.gz Atom feed top
2002-06-14 7:21 status of Ada STL? Russ
2002-06-14 16:29 ` Stephen Leake
2002-06-14 18:44 ` Ted Dennison
2002-06-14 20:34 ` Ehud Lamm
2002-06-15 18:52 ` Russ
2002-06-16 2:42 ` David Marceau
2002-06-16 8:07 ` Pascal Obry
2002-06-16 18:23 ` Russ
2002-06-16 19:01 ` Pascal Obry
2002-06-16 19:04 ` Vinzent Hoefler
2002-06-17 1:59 ` Jeffrey Carter
2002-06-17 6:48 ` Russ
2002-06-17 7:04 ` Dale Stanbrough
2002-06-18 6:16 ` Russ
2002-06-19 1:07 ` Dale Stanbrough
2002-06-17 9:38 ` chris.danx
2002-06-17 15:53 ` Ted Dennison
2002-06-18 7:52 ` Russ
2002-06-18 10:57 ` chris.danx
2002-06-18 14:38 ` Robert A Duff
2002-06-18 16:19 ` Brian Rogoff
2002-06-18 17:12 ` Frank J. Lhota
2002-06-18 18:03 ` Brian Rogoff
2002-06-18 19:24 ` Frank J. Lhota
2002-06-18 19:41 ` Brian Rogoff
2002-06-25 0:02 ` Steven Deller
2002-06-25 1:24 ` Yet another assignment variation (was Re: status of Ada STL?) Dale Stanbrough
2002-06-25 12:53 ` Frank J. Lhota
2002-06-25 17:48 ` Georg Bauhaus
2002-06-26 3:13 ` Robert A Duff
2002-06-18 19:03 ` status of Ada STL? Robert A Duff
2002-06-18 19:54 ` Brian Rogoff
2002-06-18 21:09 ` Robert A Duff
2002-06-18 23:36 ` Brian Rogoff
2002-06-19 1:37 ` Robert A Duff
2002-06-19 16:25 ` Brian Rogoff
2002-06-19 18:53 ` Robert A Duff
2002-06-19 20:23 ` Brian Rogoff
2002-06-19 3:57 ` Russ
2002-06-18 21:55 ` Dmitry A.Kazakov
2002-06-19 5:32 ` Russ
2002-06-19 12:37 ` Dmitry A. Kazakov
2002-06-20 6:50 ` Russ
2002-06-20 12:21 ` Ted Dennison
2002-06-20 21:42 ` Dmitry A.Kazakov
2002-06-20 18:20 ` Russ
2002-06-21 10:27 ` Dmitry A. Kazakov
2002-06-20 18:21 ` Russ
2002-06-20 19:09 ` Russ
2002-06-17 17:16 ` Pascal Obry
2002-06-18 5:27 ` Russ
2002-06-17 17:17 ` Pascal Obry
2002-06-17 21:40 ` Vinzent Hoefler
2002-06-17 5:20 ` Russ
2002-06-17 8:22 ` chris.danx
2002-06-17 14:00 ` Frank J. Lhota
2002-06-17 15:57 ` Marin David Condic
2002-06-18 6:12 ` Russ
2002-06-18 8:16 ` chris.danx
2002-06-18 14:52 ` Robert A Duff
2002-06-18 16:02 ` Pascal Obry
2002-06-18 16:54 ` Hyman Rosen
2002-06-18 22:58 ` Jacob Sparre Andersen
2002-06-18 19:09 ` Robert A Duff
[not found] ` <ud6uolglz.fsf@w <wccsn3kxv3g.fsf@shell01.TheWorld.com>
2002-06-19 8:09 ` Pascal Obry
2002-06-19 3:04 ` Russ
2002-06-19 16:40 ` Hyman Rosen
2002-06-19 18:07 ` Brian Rogoff
2002-06-18 9:37 ` Fraser Wilson
2002-06-18 15:45 ` Hyman Rosen
2002-06-19 16:55 ` Robert I. Eachus
2002-06-19 19:13 ` Robert A Duff
2002-06-20 7:43 ` Dmitry A.Kazakov
2002-06-22 22:05 ` Robert I. Eachus
2002-06-17 21:40 ` Vinzent Hoefler
2002-06-18 15:05 ` Robert A Duff
2002-06-18 22:36 ` Vinzent Hoefler
2002-06-19 12:45 ` Dmitry A. Kazakov
2002-06-19 14:35 ` Marin David Condic
2002-06-21 11:03 ` Dmitry A. Kazakov
2002-06-21 16:58 ` Mark Biggar
2002-06-22 23:23 ` Dmitry A.Kazakov
2002-06-27 3:00 ` David Thompson
2002-06-28 13:36 ` Marin David Condic
2002-06-30 4:05 ` Russ
2002-06-30 13:50 ` Ted Dennison
2002-07-01 13:12 ` Marin David Condic
2002-07-02 19:56 ` Robert A Duff
[not found] ` <bebbba07.0206292005.45ad915a@p <wcc4rfhj43l.fsf@shell01.TheWorld.com>
2002-07-02 20:40 ` Pat Rogers
2002-06-18 15:21 ` Robert A Duff
2002-06-19 0:34 ` tmoran
2002-06-19 2:55 ` Russ
2002-06-19 4:53 ` Ted Dennison
2002-06-19 8:21 ` Pascal Obry
2002-06-19 14:52 ` Stephen Leake
2002-06-20 1:45 ` SteveD
2002-06-20 2:01 ` Ted Dennison
2002-06-16 20:01 ` Pascal Obry
2002-06-17 5:29 ` Russ [this message]
2002-06-16 23:02 ` Ted Dennison
2002-06-17 5:07 ` Russ
2002-06-17 14:03 ` Frank J. Lhota
2002-06-17 14:11 ` Ted Dennison
2002-06-18 5:55 ` Russ
2002-06-18 14:30 ` Ted Dennison
2002-06-18 15:14 ` Marin David Condic
2002-06-19 14:19 ` Ted Dennison
2002-06-19 16:05 ` Marin David Condic
2002-06-19 5:58 ` Russ
2002-06-19 14:35 ` Ted Dennison
2002-06-20 7:06 ` Russ
2002-06-20 12:27 ` Ted Dennison
2002-06-20 23:22 ` Russ
2002-06-21 2:00 ` Ted Dennison
2002-06-22 4:28 ` Russ
2002-06-22 15:05 ` Ted Dennison
2002-06-21 8:48 ` Ian Wild
2002-06-22 4:54 ` Russ
2002-06-20 22:47 ` Russ
2002-06-21 0:43 ` Ted Dennison
2002-06-22 4:05 ` Russ
2002-06-22 14:41 ` Jano
2002-06-22 20:27 ` Ted Dennison
2002-06-21 13:12 ` Marin David Condic
2002-06-24 8:29 ` Russ
2002-06-24 20:19 ` Chad R. Meiners
2002-06-18 22:36 ` Vinzent Hoefler
2002-06-18 22:42 ` Ed Falis
2002-06-19 0:07 ` Vinzent Hoefler
2002-06-19 0:07 ` Vinzent Hoefler
2002-06-17 22:37 ` Dmitry A.Kazakov
2002-06-17 14:09 ` Frank J. Lhota
2002-06-18 21:40 ` Dmitry A.Kazakov
2002-06-18 16:04 ` Robert A Duff
2002-06-18 16:37 ` Pascal Obry
2002-06-18 18:56 ` Robert A Duff
2002-06-18 22:20 ` Pascal Obry
2002-06-19 12:53 ` Dmitry A. Kazakov
2002-06-19 3:37 ` Russ
2002-06-19 8:31 ` Pascal Obry
2002-06-20 7:58 ` Russ
2002-06-20 20:34 ` Pascal Obry
2002-06-21 4:07 ` Russ
2002-06-17 15:33 ` Marin David Condic
2002-06-18 10:28 ` Adrian Hoe
2002-06-19 7:58 ` Ole-Hjalmar Kristensen
2002-06-19 13:55 ` Marin David Condic
2002-06-19 13:52 ` Marin David Condic
2002-09-18 15:23 ` Matthew Heaney
2002-09-19 12:11 ` Marin David Condic
2002-09-19 14:13 ` Hyman Rosen
2002-09-20 12:24 ` Marin David Condic
2002-09-22 7:22 ` Kevin Cline
2002-09-23 13:55 ` Hyman Rosen
2002-09-19 19:42 ` Randy Brukardt
2002-09-20 12:38 ` Marin David Condic
2002-09-27 21:21 ` Michael Bode
2002-09-27 22:11 ` Pat Rogers
2002-09-28 13:25 ` Marin David Condic
2002-09-28 14:52 ` Pat Rogers
2002-09-28 15:18 ` Martin Dowie
2002-09-29 18:02 ` Marin David Condic
2002-09-29 19:02 ` Jeffrey Carter
2002-09-30 1:36 ` Marin David Condic
2002-10-02 22:17 ` Matthew Heaney
2002-09-28 17:25 ` Richard Riehle
2002-09-30 17:12 ` Marin David Condic
2002-10-01 18:41 ` Randy Brukardt
2002-10-02 8:38 ` Jean-Pierre Rosen
2002-10-02 12:43 ` Marin David Condic
2002-10-02 14:26 ` Jean-Pierre Rosen
2002-10-02 12:30 ` Marin David Condic
2002-06-18 1:56 ` SteveD
2002-06-18 14:12 ` Robert A Duff
2002-06-18 14:28 ` chris.danx
2002-06-18 15:59 ` Pascal Obry
2002-06-18 18:58 ` Robert A Duff
2002-06-18 19:58 ` Randy Brukardt
2002-06-19 14:07 ` Marin David Condic
2002-06-19 2:19 ` SteveD
2002-06-18 11:40 ` Colin Paul Gloster
2002-06-20 15:15 ` Colin Paul Gloster
2002-06-18 19:34 ` Mike Silva
2002-06-25 16:31 ` Kevin Cline
2002-06-14 20:34 ` Dan Andreatta
-- strict thread matches above, loose matches on Subject: below --
2002-06-17 11:05 Grein, Christoph
2002-06-18 5:36 ` Russ
2002-06-26 10:50 Grein, Christoph
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox