Re: Elaboration order handling (Was: Bug in 'gnatmake')

[Jeffrey Carter <spam.jrcarter.not@spam.not.acm.org>]

On 06/18/2013 03:52 PM, Adam Beneschan wrote:
>
> Yeah, but if they had decided to specify the order instead of leaving it
> implementation-defined, what order could they have chosen?  Alphabetical?
> (Think about what joy that would have caused the ARG when Unicode support was
> added to the language!!!)  I think the problem is that, unlike some cases
> (like subprogram parameters, where the language designers *could* have
> specified left-to-right evaluation instead of implementation-defined order),
> there's no natural ordering of library packages in a program.  So I don't
> even see the beginning of a solution.

Elaboration order isn't entirely implementation defined, is it? There's a 
partial order defined by calls made during elaboration from one pkg to another. 
Within that ordering there may be groups of pkgs that may be elaborated in any 
order after the pkgs that must be elaborated before them and before the pkgs 
they must be elaborated before. Within those groups, why not use lexical order 
of pkg names?

-- 
Jeff Carter
"Ah, go away or I'll kill ya."
Never Give a Sucker an Even Break
100