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: a07f3367d7,799bdb14b530ce1d X-Google-Attributes: gida07f3367d7,public,usenet X-Google-NewGroupId: yes X-Google-Language: ENGLISH,ASCII-7-bit Received: by 10.224.78.209 with SMTP id m17mr9947351qak.3.1349558517245; Sat, 06 Oct 2012 14:21:57 -0700 (PDT) Received: by 10.236.35.229 with SMTP id u65mr1452435yha.16.1349558517136; Sat, 06 Oct 2012 14:21:57 -0700 (PDT) Path: e10ni211270746qan.0!nntp.google.com!l8no28713063qao.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail Newsgroups: comp.lang.ada Date: Sat, 6 Oct 2012 14:21:56 -0700 (PDT) In-Reply-To: <0135d0d3-3dd3-4b75-a639-76cf93975eb2@googlegroups.com> Complaints-To: groups-abuse@google.com Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=206.53.78.59; posting-account=ShYTIAoAAABytvcS76ZrG9GdaV-nXYKy NNTP-Posting-Host: 206.53.78.59 References: <99b6ed38-0a44-4649-82b7-0b724fa5e68f@googlegroups.com> <5e6b8e61-50c5-4398-9407-60276a070f4f@googlegroups.com> <0135d0d3-3dd3-4b75-a639-76cf93975eb2@googlegroups.com> User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: <59ef8c07-7706-4a1b-9b55-a240a8715f50@googlegroups.com> Subject: Re: Odd subtyping error. From: sbelmont700@gmail.com Injection-Date: Sat, 06 Oct 2012 21:21:57 +0000 Content-Type: text/plain; charset=ISO-8859-1 Date: 2012-10-06T14:21:56-07:00 List-Id: On Friday, October 5, 2012 6:19:57 PM UTC-4, Shark8 wrote: > Is there a way to force defferment, or flag that there will be a representation-clause, maybe with an aspect clause " with Representation, Size => Enum'Size" Perhaps move the subtypes to a child package? It would not exactly be the most streamlined, but would allow you to have the public/private/public-again setup -sb