From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00,FREEMAIL_FROM
	autolearn=unavailable autolearn_force=no version=3.4.4
X-Received: by 10.99.111.133 with SMTP id k127mr2646612pgc.55.1479267721352;
        Tue, 15 Nov 2016 19:42:01 -0800 (PST)
X-Received: by 10.157.4.119 with SMTP id 110mr1993520otc.11.1479267721303;
 Tue, 15 Nov 2016 19:42:01 -0800 (PST)
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!news.eternal-september.org!feeder.eternal-september.org!news.glorb.com!o1no56381ito.0!news-out.google.com!x12ni263ita.0!nntp.google.com!o1no56376ito.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Tue, 15 Nov 2016 19:42:00 -0800 (PST)
In-Reply-To: <o0fmid$7dl$1@franka.jacob-sparre.dk>
Complaints-To: groups-abuse@google.com
Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=74.51.4.208;
 posting-account=7Oy7OQoAAABhVYFOo553Cn1-AaU-bSfl
NNTP-Posting-Host: 74.51.4.208
References: <55194f1c-aba9-47b9-8173-ebd366aed405@googlegroups.com>
 <o0fmid$7dl$1@franka.jacob-sparre.dk>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <3288b5b1-c7d2-4238-a4fa-301d6abf49d7@googlegroups.com>
Subject: Re: GnAT Error with Remote_Types and Incomplete Type?
From: Eryndlia Mavourneen <eryndlia@gmail.com>
Injection-Date: Wed, 16 Nov 2016 03:42:01 +0000
Content-Type: text/plain; charset=UTF-8
Xref: news.eternal-september.org comp.lang.ada:32335
Date: 2016-11-15T19:42:00-08:00
List-Id: <comp.lang.ada>

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))