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 Path: eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!news.eternal-september.org!news.eternal-september.org!feeder.eternal-september.org!aioe.org!.POSTED!not-for-mail From: =?utf-8?Q?Yannick_Duch=C3=AAne_=28Hibou57?= =?utf-8?Q?=29?= Newsgroups: comp.lang.ada Subject: Re: Type Transcriptions Date: Mon, 21 Apr 2014 20:11:19 +0200 Organization: Ada @ Home Message-ID: References: <53554D3F.8050009@shaw.ca> NNTP-Posting-Host: eV2/JMARF1rQiaO9/336OQ.user.speranza.aioe.org Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8; format=flowed; delsp=yes Content-Transfer-Encoding: Quoted-Printable X-Complaints-To: abuse@aioe.org User-Agent: Opera Mail/12.16 (Linux) X-Notice: Filtered by postfilter v. 0.8.2 Xref: news.eternal-september.org comp.lang.ada:19470 Date: 2014-04-21T20:11:19+02:00 List-Id: Le Mon, 21 Apr 2014 18:54:23 +0200, Brad Moore a = =C3=A9crit: > I'd suggest trying to make GenericAEADCipher a discriminated record = > type, with the two length values as the discriminants, and then the = > arrays are sized using the discriminants. No Generics needed. > > Brad > I guess Shark8 would already have figured it if this could be as simple.= = He says this, which is important: =E2=80=9Ccertain class of record-type = is = dependent on the values in another record, yet distinctly separate=E2=80= =9D. With = two separated things, a discriminant is not applicable. Or may be I've n= ot = understood. -- = =E2=80=9CSyntactic sugar causes cancer of the semi-colons.=E2=80=9D [1] =E2=80=9CStructured Programming supports the law of the excluded muddle.= =E2=80=9D [1] [1]: Epigrams on Programming =E2=80=94 Alan J. =E2=80=94 P. Yale Univers= ity