From: Maciej Sobczak <see.my.homepage@gmail.com>
Subject: Re: Elaboration circularity with generics
Date: Sun, 15 Jan 2012 09:15:18 -0800 (PST)
Date: 2012-01-15T09:15:18-08:00 [thread overview]
Message-ID: <9e273746-1663-4fef-9154-f37a25d3c01b@o13g2000vbf.googlegroups.com> (raw)
In-Reply-To: 1007811599348271064.048391rm-host.bauhaus-maps.arcor.de@news.arcor.de
On Jan 14, 11:01 pm, Georg Bauhaus <rm-host.bauh...@maps.arcor.de>
wrote:
> So I guess the circularity is a consequence of
> GNAT's default, static elaboration order algorithm.
Does it mean that the compiler can refuse legal code just because its
internal algorithm is biased?
As I understand, there is no language-related reason for the
circularity. That is, there is no ARM paragraph that would say that in
this particular program there will be a cyclic elaboration dependency
(otherwise I would appreciate some pointers).
In such a case I would consider it to be a compiler bug.
--
Maciej Sobczak * http://www.msobczak.com * http://www.inspirel.com
next prev parent reply other threads:[~2012-01-15 17:15 UTC|newest]
Thread overview: 16+ messages / expand[flat|nested] mbox.gz Atom feed top
2012-01-14 15:09 Elaboration circularity with generics Maciej Sobczak
2012-01-14 16:13 ` Martin Dowie
2012-01-14 16:17 ` AdaMagica
2012-01-14 22:46 ` Simon Wright
2012-01-15 16:55 ` AdaMagica
2012-01-16 15:09 ` Simon Wright
2012-01-16 17:15 ` AdaMagica
2012-01-14 16:26 ` AdaMagica
2012-01-14 22:01 ` Georg Bauhaus
2012-01-15 17:15 ` Maciej Sobczak [this message]
2012-01-15 17:43 ` AdaMagica
2012-01-16 17:02 ` Adam Beneschan
2012-01-16 14:34 ` Robert A Duff
2012-01-16 21:29 ` Maciej Sobczak
2012-01-16 21:52 ` Adam Beneschan
2012-01-16 22:25 ` Robert A 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