In article <20030609095549.1614e710.Malcolm.Wallace at cs.york.ac.uk>, Malcolm Wallace <Malcolm.Wallace at cs.york.ac.uk> wrote: > Why would you want to? > > A ForeignPtr without any finalizers is semantically just a Ptr, > plain and simple. I need a pointer type for which some values have finalizers, and some don't. -- Ashley Yakeley, Seattle WA