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 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!feeder.eternal-september.org!news.cs.hut.fi!goblin3!goblin.stu.neva.ru!nntp-feed.chiark.greenend.org.uk!ewrotcd!reality.xs3.de!news.jacob-sparre.dk!franka.jacob-sparre.dk!pnx.dk!.POSTED!not-for-mail From: "Randy Brukardt" Newsgroups: comp.lang.ada Subject: Re: Creating a generic package with and setting its type to that of a record Date: Wed, 28 Sep 2016 16:38:56 -0500 Organization: JSA Research & Innovation Message-ID: References: NNTP-Posting-Host: rrsoftware.com X-Trace: franka.jacob-sparre.dk 1475098714 6246 24.196.82.226 (28 Sep 2016 21:38:34 GMT) X-Complaints-To: news@jacob-sparre.dk NNTP-Posting-Date: Wed, 28 Sep 2016 21:38:34 +0000 (UTC) X-Priority: 3 X-MSMail-Priority: Normal X-Newsreader: Microsoft Outlook Express 6.00.2900.5931 X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2900.6157 X-RFC2646: Format=Flowed; Original Xref: news.eternal-september.org comp.lang.ada:31933 Date: 2016-09-28T16:38:56-05:00 List-Id: "Simon Wright" wrote in message news:ly60pg5z3x.fsf@pushface.org... ... > You could instantiate it for Integer, but I'm not sure what operation > would be used if you tried "<=", for instance; the composition of your > generic actuals, or the emergent "<=" of Integer. Neither. "<=" would be undefined (inside the generic) with the specification you gave. Outside the generic, you of course would use Integer's operators (because they're visible). You never have visibility on formal subprograms outside of the generic (that is, via the instance). Randy.