From: "Randy Brukardt" <randy@rrsoftware.com>
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
Date: 2016-09-28T16:38:56-05:00 [thread overview]
Message-ID: <nshd8q$636$1@franka.jacob-sparre.dk> (raw)
In-Reply-To: ly60pg5z3x.fsf@pushface.org
"Simon Wright" <simon@pushface.org> 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.
next prev parent reply other threads:[~2016-09-28 21:38 UTC|newest]
Thread overview: 6+ messages / expand[flat|nested] mbox.gz Atom feed top
2016-09-28 1:02 Creating a generic package with and setting its type to that of a record Andrew Shvets
2016-09-28 2:08 ` Jeffrey R. Carter
2016-09-28 2:15 ` Andrew Shvets
2016-09-28 6:15 ` Simon Wright
2016-09-28 21:38 ` Randy Brukardt [this message]
2016-09-29 7:57 ` Simon Wright
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox