On Fri, Dec 18, 2009 at 12:20 PM, Gregory Crosswhite <[email protected]> wrote: > 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) _______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
