From: Bob Duff <bobduff@theworld.com>
Subject: Re: Indefinite Containers of Indefinite Private Types
Date: Fri, 07 Aug 2015 16:13:21 -0400
Date: 2015-08-07T16:13:21-04:00 [thread overview]
Message-ID: <87a8u2luvy.fsf@theworld.com> (raw)
In-Reply-To: mpr1po$4sn$1@dont-email.me
"Jeffrey R. Carter" <spam.jrcarter.not@spam.not.acm.org> writes:
> Yes, of course. The examples are simplified from a more complex case where the
> container is used in the full type definition. This can be achieved by adding
> some additional code that is essentially noise, or by using access types.
> Avoiding access types is worth adding noise, but it would be nice if the noise
> were unnecessary.
I'm curious what the "noise" looks like in your case.
Last time I ran into this problem I think I ended up using a workaround
that involved access types. I don't remember the details.
- Bob
next prev parent reply other threads:[~2015-08-07 20:13 UTC|newest]
Thread overview: 10+ messages / expand[flat|nested] mbox.gz Atom feed top
2015-08-04 2:23 Indefinite Containers of Indefinite Private Types Jeffrey R. Carter
2015-08-04 5:40 ` Niklas Holsti
2015-08-04 18:56 ` Jeffrey R. Carter
2015-08-04 20:47 ` Randy Brukardt
2015-08-04 20:56 ` Jeffrey R. Carter
2015-08-06 18:49 ` Randy Brukardt
2015-08-06 20:12 ` Jeffrey R. Carter
2015-08-07 19:49 ` Randy Brukardt
2015-08-07 20:13 ` Bob Duff [this message]
2015-08-07 20:45 ` Jeffrey R. Carter
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox