Re: Interesting containers problem.

[Peter Chapin <PChapin@vtc.vsc.edu>]

On Fri, 17 Apr 2015, Shark8 wrote:

> Ok, so let's say we have a type for Identifiers:

[snip]

> And that's all well and good; however, there is one limitation here that 
> is revealed when you need nesting scopes -- there is, apparently, no way 
> to define an Element_Type to feed to Indefinite_Ordered_Maps which is an 
> instance of Indefinite_Ordered_Maps.Maps or an instance of Variable_Data 
> (by way of a variant record; even one which is forward declared).
>
> What would be the proper way to handle this sort of situation?

Perhaps using access types directly? What if the Element_Type of the Map 
is an access type that points at an incomplete type, where the completion 
follows the instantiation of the Maps generic?

Peter