From: Adam Beneschan <adambeneschan@gmail.com>
Subject: Re: Intermixing two tagged types
Date: Thu, 14 Aug 2014 09:03:50 -0700 (PDT)
Date: 2014-08-14T09:03:50-07:00 [thread overview]
Message-ID: <16a948da-f477-45a2-a6dd-be1d8c19f1d4@googlegroups.com> (raw)
In-Reply-To: <lsi86s$hqg$1@speranza.aioe.org>
On Thursday, August 14, 2014 4:57:18 AM UTC-7, Victor Porton wrote:
> Tagged types a little decrease efficiency, but I use tagged types anyway
> (primarily for controlled finalization).
I haven't been following this discussion carefully enough. So I have no idea whether the following suggestion is appropriate. However ...
If you have an untagged record, and it has a component that is a (tagged) controlled type, you'll still get finalization, but using the untagged record as a parameter won't cause any problems with the dispatching rules.
Again, I don't know whether this is helpful. I just thought I'd throw it out there in case it is.
-- Adam
next prev parent reply other threads:[~2014-08-14 16:03 UTC|newest]
Thread overview: 7+ messages / expand[flat|nested] mbox.gz Atom feed top
2014-08-13 20:32 Intermixing two tagged types Victor Porton
2014-08-14 7:58 ` Simon Wright
2014-08-14 11:57 ` Victor Porton
2014-08-14 12:06 ` Dmitry A. Kazakov
2014-08-14 16:03 ` Adam Beneschan [this message]
2014-08-14 16:11 ` Victor Porton
2014-08-14 16:29 ` Adam Beneschan
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox