comp.lang.ada
 help / color / mirror / Atom feed
From: "Randy Brukardt" <randy@rrsoftware.com>
Subject: Re: Comments requested for a couple of Ada-Comments submissions
Date: Thu, 10 Jul 2014 23:16:27 -0500
Date: 2014-07-10T23:16:27-05:00	[thread overview]
Message-ID: <lpnoet$hpu$1@loke.gir.dk> (raw)
In-Reply-To: lpnb74$kmi$1@dont-email.me

"Jeffrey Carter" <spam.jrcarter.not@spam.not.acm.org> wrote in message 
news:lpnb74$kmi$1@dont-email.me...
...
> I don't see that there is anything here that the ARG would want to take 
> action on, especially given that Randy said they're only interested in 
> things that are hard or impossible to do in Ada. This is clearly not hard 
> or impossible.

Well, actually, I understand that a similar problem came up recently (I 
think it was related to SPARK) and that the GNAT people had already hacked 
an ugly solution to it. A language-based solution would be better, at least 
if it's not too expensive to implement.

After all, two independent problems that can be solved with a relatively 
simple new feature make that feature more compelling. In any case, it's 
certainly OK for Simon to submit the problem; I've seen a lot sillier ideas 
than this one.

                                   Randy.




  reply	other threads:[~2014-07-11  4:16 UTC|newest]

Thread overview: 21+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2014-07-11  0:02 Comments requested for a couple of Ada-Comments submissions Simon Clubley
2014-07-11  0:30 ` Jeffrey Carter
2014-07-11  4:16   ` Randy Brukardt [this message]
2014-07-11 16:04     ` Niklas Holsti
2014-07-11 16:24       ` Dan'l Miller
2014-07-11 20:02       ` Simon Clubley
2014-07-12  5:52         ` Niklas Holsti
2014-07-11  4:26 ` Randy Brukardt
2014-07-11  7:05   ` Simon Clubley
2014-07-11  4:56 ` Shark8
2014-07-11 15:35   ` Adam Beneschan
2014-07-11 17:26     ` Niklas Holsti
2014-07-11 17:55       ` Adam Beneschan
2014-07-11 18:00         ` Simon Wright
2014-07-11 19:07           ` Georg Bauhaus
2014-07-11 19:10           ` Dmitry A. Kazakov
2014-07-11 19:16             ` Niklas Holsti
2014-07-11 19:35               ` Dmitry A. Kazakov
2014-07-11 21:24             ` Randy Brukardt
2014-07-11 21:46               ` Shark8
2014-07-11 19:30       ` Simon Clubley
replies disabled

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