comp.lang.ada
 help / color / mirror / Atom feed
From: "Jeffrey R. Carter" <spam.jrcarter.not@spam.not.acm.org>
Subject: Re: Bounded String question
Date: Thu, 12 Nov 2015 15:32:22 -0700
Date: 2015-11-12T15:32:22-07:00	[thread overview]
Message-ID: <n233te$1h5$1@dont-email.me> (raw)
In-Reply-To: <n2307j$ijb$1@loke.gir.dk>

On 11/12/2015 02:27 PM, Randy Brukardt wrote:
> 
> We already did, at our last meeting (AI12-0175-1/01), and it was soundly 
> rejected as too complicated for the problem being solved. (As the author of 
> the proposal, it was hard to disagree; I had expected the solution to be 
> simpler than it worked out -- but the main problem is the inconsistency of 
> the existing staticness rules (lots of things that should be allowed for 
> static strings are not allowed, and fixing that makes the proposal feel 
> heavy even if it isn't really).

How about just cleaning up the existing rules on what is static? That seems
worthwhile in itself. If that's done, perhaps then expanding the things that are
pre-elaborable would be acceptably complicated.

-- 
Jeff Carter
"Sons of a silly person."
Monty Python & the Holy Grail
02

  reply	other threads:[~2015-11-12 22:32 UTC|newest]

Thread overview: 36+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2015-11-10 22:00 Bounded String question Serge Robyns
2015-11-11  0:48 ` Bob Duff
2015-11-11  2:01   ` Jeffrey R. Carter
2015-11-11 15:34     ` Bob Duff
2015-11-11 17:36       ` Jeffrey R. Carter
2015-11-11 19:22         ` Bob Duff
2016-03-06 18:59       ` Xavier Petit
2016-03-07 23:16         ` Randy Brukardt
2016-03-08  0:08           ` Jeffrey R. Carter
2016-03-09  1:18             ` Randy Brukardt
2015-11-11 10:52   ` Serge Robyns
2015-11-11 13:43     ` Serge Robyns
2015-11-11 14:32       ` brbarkstrom
2015-11-11 16:08         ` Serge Robyns
2015-11-11 17:27       ` Jeffrey R. Carter
2015-11-11 20:06         ` Serge Robyns
2015-11-11 20:23           ` AdaMagica
2015-11-11 20:27             ` AdaMagica
2015-11-11 20:32             ` Serge Robyns
2015-11-11 20:40               ` AdaMagica
2015-11-12 17:31                 ` Serge Robyns
2015-11-12 19:10                   ` AdaMagica
2015-11-12 21:29                     ` Randy Brukardt
2015-11-12 18:03                 ` G.B.
2015-11-12 18:13                   ` Serge Robyns
2015-11-12 18:14                     ` Serge Robyns
2015-11-12 19:37                   ` Randy Brukardt
2015-11-11 20:42           ` Jeffrey R. Carter
2015-11-12 16:59             ` Serge Robyns
2015-11-12 18:39               ` Jeffrey R. Carter
2015-11-12 21:19                 ` Randy Brukardt
2015-11-12 21:27               ` Randy Brukardt
2015-11-12 22:32                 ` Jeffrey R. Carter [this message]
2015-11-13  0:07                   ` Randy Brukardt
2015-11-13  1:01                     ` Jeffrey R. Carter
2015-11-11 15:41     ` Bob Duff
replies disabled

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