
18 Dec
2009
18 Dec
'09
7:28 p.m.
On Fri, Dec 18, 2009 at 12:20 PM, Gregory Crosswhite
Ugh, I figured out how to write code to do what I wanted, but it seems like an ugly solution:
getPtrSize :: Ptr a -> Int getPtrSize = getFrom dummy where getFrom :: a -> Ptr a -> Int getFrom dummy _ = sizeOf dummy
With -XScopedTypeVariables: getPtrSize :: forall a. Ptr a -> Int getPtrSize p = sizeOf (undefined :: a)