comp.lang.ada
 help / color / mirror / Atom feed
From: "Thomas Løcke" <thomas@12boo.net>
Subject: Re: Labeled exit within generalized labeled loop not allowed?
Date: Mon, 16 Jul 2012 11:33:48 +0200
Date: 2012-07-16T11:33:48+02:00	[thread overview]
Message-ID: <5003dffc$0$291$14726298@news.sunsite.dk> (raw)
In-Reply-To: <d42dbe56-a2ac-4898-96a8-372292b19e38@googlegroups.com>

On 07/13/2012 06:19 PM, Marc C wrote:
> I find it hard to believe that this would be a GNAT GPL 2012 compiler bug, but I don't see anything in the LRM that indicates this wouldn't be legal.
>
> Code containing a labeled generalized loop (the "for Elem of Some_Container" type), with a conditional exit referencing the loop label, fails to compile with an "Invalid loop name in exit statement" error.
>
> What's the rationale for this? Or a consequence of what? Or is it a compiler bug?


Hmm, it appears we're the only people who experience this, or perhaps
the only people who care?  :D

I would've thought that labeled exits were something that were widely
used.

-- 
Thomas L�cke | thomas@12boo.net | http://12boo.net





  parent reply	other threads:[~2012-07-24 11:50 UTC|newest]

Thread overview: 9+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2012-07-13 16:19 Labeled exit within generalized labeled loop not allowed? Marc C
2012-07-13 17:21 ` Thomas Løcke
2012-07-16  9:33 ` Thomas Løcke [this message]
2012-07-16 10:33   ` Niklas Holsti
2012-07-16 12:03     ` Niklas Holsti
2012-07-16 12:29       ` Thomas Løcke
2012-07-16 15:24         ` Marc C
2012-07-17  6:01           ` Thomas Løcke
2012-07-19  6:41       ` Randy Brukardt
replies disabled

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