Re: GnAT Error with Remote_Types and Incomplete Type?

[Eryndlia Mavourneen <eryndlia@gmail.com>]

On Tuesday, November 15, 2016 at 1:10:56 PM UTC-6, Randy Brukardt wrote:
> What is the error message? It's unclear to me (from a quick scan of the RM) 
> how an incomplete type in a remote types package should be handled, so I'm 
> wondering what the compiler is complaining about.
> 
>                              Randy.
> 
> "Eryndlia Mavourneen" <eryndlia@gmail.com> wrote in message 
> news:55194f1c-aba9-47b9-8173-ebd366aed405@googlegroups.com...
> > Is this a compiler error?
> >
> > This compiles:
> >
> >    package Remote_Types_Incomplete_Type with Remote_Types is
> >
> >       type My_Interface_Type is task interface;
> >
> >    end Remote_Types_Incomplete_Type;
> >
> > This does not compile:
> >
> >    package Remote_Types_Incomplete_Type with Remote_Types is
> >
> >       type My_Interface_Type;
> >       type My_Interface_Type is task interface;
> >
> >    end Remote_Types_Incomplete_Type;

Builder results must have visible Read and Write attribute definition clauses (RM E.2.2(8)) <b>4:9</b>       must have visible Read and Write attribute definition clauses (RM E.2.2(8)) 
Builder results
remote_types_incomplete_type.ads:4:9
must have visible Read and Write attribute definition clauses (RM E.2.2(8)) must have visible Read and Write attribute definition clauses (RM E.2.2(8))