Jacques Carette wrote: > Bulat Ziganshin wrote: > > >malloc :: Storable a => IO (Ptr a) > >malloc = doMalloc undefined > > where > > doMalloc :: Storable b => b -> IO (Ptr b) > > doMalloc dummy = mallocBytes (sizeOf dummy) > > > > > Is there any reason to not code this as > > malloc :: Storable a => IO (Ptr a) > malloc = mallocBytes $ sizeof undefined
What type would the 'undefined' have in this context? sizeOf has type Storable a => a -> Int -- that doesn't help. The purpose of doMalloc is to force the type checker to choose the right type for that 'undefined'. regards, Bertram _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
