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=-0.9 required=5.0 tests=BAYES_00,FORGED_GMAIL_RCVD, FREEMAIL_FROM autolearn=no autolearn_force=no version=3.4.4 X-Google-Thread: 103376,799bdb14b530ce1d X-Google-NewGroupId: yes X-Google-Attributes: gida07f3367d7,domainid0,public,usenet X-Google-Language: ENGLISH,ASCII-7-bit Received: by 10.66.72.131 with SMTP id d3mr2251889pav.28.1349471291502; Fri, 05 Oct 2012 14:08:11 -0700 (PDT) Received: by 10.68.125.164 with SMTP id mr4mr3533820pbb.19.1349471291486; Fri, 05 Oct 2012 14:08:11 -0700 (PDT) Path: g9ni23679pbh.1!nntp.google.com!kr7no6079416pbb.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail Newsgroups: comp.lang.ada Date: Fri, 5 Oct 2012 14:08:11 -0700 (PDT) In-Reply-To: Complaints-To: groups-abuse@google.com Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=69.20.190.126; posting-account=lJ3JNwoAAAAQfH3VV9vttJLkThaxtTfC NNTP-Posting-Host: 69.20.190.126 References: <99b6ed38-0a44-4649-82b7-0b724fa5e68f@googlegroups.com> User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: <03882820-1e7b-4ede-b22a-8098c247628b@googlegroups.com> Subject: Re: Odd subtyping error. From: Shark8 Injection-Date: Fri, 05 Oct 2012 21:08:11 +0000 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable Date: 2012-10-05T14:08:11-07:00 List-Id: On Friday, October 5, 2012 12:12:18 PM UTC-6, Niklas Holsti wrote: >=20 > The second error/warning line suggests to me that you have declared > Pixel_Storage first as a "private" type, and that the full type > declaration, including the "with Size" clause, appears only in the > "private" part of the package declaration. Is that the case? No; the representation {For Pixel_Storage Use ( ... )} is in the private po= rtion. The "with Size" aspect is to force the elements/values to use a certain siz= e so that they will be compatible via conversion with the OpenGL functions = taking GLEnum parameters -- I chose this typing method to eliminate the pos= sibility of calling incorrect parameters, though perhaps it would have been= better to use subtypes with Static_Predicate disallowing invalid values.