From: Lionel Draghi <lionel.draghi@gmail.com>
Subject: Re: Iterable container as generic parameter
Date: Tue, 30 Jan 2018 14:35:20 -0800 (PST)
Date: 2018-01-30T14:35:20-08:00 [thread overview]
Message-ID: <c605904e-f524-4745-ba53-1178438f8adc@googlegroups.com> (raw)
In-Reply-To: <p4o922$6dn$1@franka.jacob-sparre.dk>
Le mardi 30 janvier 2018 00:00:20 UTC+1, Randy Brukardt a écrit :
> The Cursor type you are getting from the formal interface package is an
> incomplete type. You can't do much with an incomplete type.
>
> Now, I'd have to read the RM for hours to figure out for sure whether you
> are supposed to get the formal or the actual type in this case. It wouldn't
> surprise me if it is supposed to be the formal type, in which case, your
> original version was better. Otherwise, it could be a GNAT bug, but, again,
> I'm not sure. Practically, I'd assume that it is the formal and use your
> original formulation (which clearly doesn't have a problem).
Actually, the second Emmanuel's point about making a signature package of Iterator related stuff was the solution to this problem also, because the Cursor is no more used where it is instantiated.
I probably won't finish it tonight, but its becoming nice and easy to instantiate!
(I'll be back with a v0.2.0 before the FOSDEM!)
next prev parent reply other threads:[~2018-01-30 22:35 UTC|newest]
Thread overview: 19+ messages / expand[flat|nested] mbox.gz Atom feed top
2018-01-25 0:22 Iterable container as generic parameter Lionel Draghi
2018-01-25 3:36 ` Randy Brukardt
2018-01-25 14:58 ` Lionel Draghi
2018-01-25 18:26 ` briot.emmanuel
2018-01-26 4:50 ` Randy Brukardt
2018-01-26 9:09 ` briot.emmanuel
2018-01-26 22:32 ` Lionel Draghi
2018-01-27 7:03 ` Randy Brukardt
2018-01-27 11:38 ` Lionel Draghi
2018-01-27 14:31 ` Jere
2018-01-28 18:08 ` Lionel Draghi
2018-01-29 13:34 ` briot.emmanuel
2018-01-29 22:26 ` Lionel Draghi
2018-01-29 23:00 ` Randy Brukardt
2018-01-30 22:35 ` Lionel Draghi [this message]
2018-01-30 23:32 ` Lionel Draghi
2018-01-31 0:15 ` Lionel Draghi
2018-01-30 15:13 ` Shark8
2018-01-26 23:07 ` Lionel Draghi
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox