Re: Language lawyer question: Limited Views

[Adam Beneschan <adam@irvine.com>]

On Jan 5, 11:32 am, Maxim Reznik <rezni...@gmail.com> wrote:
> On 5 ÑÎ×, 19:01, Adam Beneschan <a...@irvine.com> wrote:
>
> > I suppose the answer is that the RM says that the implicit declaration
> > of the limited view contains an "incomplete view" of a type, not an
> > actual "type declaration", so the syntax rules having to do with
> > declarations don't actually apply since these are not really
> > declarations.  In any case, I wouldn't worry about it; the limited
> > view contains an incomplete view of T.  I'm someone who worries a lot
> > about the tiniest potential ambiguities in the RM, but even this one
> > doesn't concern me at all.
>
> >                                  -- Adam
>
> Thanks
> I encountered an error in my ASIS implementation, when it complains
> about name redeclaration in such case. And I don't know which way to
> fix it:
>  * make only one type declaration/incomplete view, or
>  * make two implicit declarations, but let one be completion for/or
> hide another
>
> That's why I'm asking.


I'm not really sure what you're trying to do.  But note that if you
create a "limited view" by replacing visible type declarations with
incomplete type declarations, the result will not be legal Ada in any
case, since incomplete types are supposed to have completions, in an
Ada package, but the "limited view" has a lot of incomplete types
without completions.  So if some program accepts some things in a
limited view that aren't legal in Ada, it shouldn't be an issue to
have it accept one more thing, such as a redeclaration.  This may or
may not be relevant to your question, since I really have no idea what
you're trying to accomplish.

                               -- Adam