From: Simon Wright <simon@pushface.org>
Subject: Re: Creating a generic package with and setting its type to that of a record
Date: Thu, 29 Sep 2016 08:57:09 +0100
Date: 2016-09-29T08:57:09+01:00 [thread overview]
Message-ID: <ly1t035eay.fsf@pushface.org> (raw)
In-Reply-To: nshd8q$636$1@franka.jacob-sparre.dk
"Randy Brukardt" <randy@rrsoftware.com> writes:
> "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).
Of course - thanks, Randy.
I was confused, I suppose, by "/=" vs "=" [ARM 6.6(6)]
prev parent reply other threads:[~2016-09-29 7:57 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
2016-09-29 7:57 ` Simon Wright [this message]
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox