blob: 2dd0bc99eb65ab7c06fac5d30edeaf4dcebd7c86 (
plain)
1
2
3
4
5
6
7
8
|
-- !!! cc008 -- foreign export dynamic returning newtype of Addr
module ShouldCompile where
import Foreign
type Addr = Ptr ()
newtype NPtr a = NPtr Addr
foreign import ccall "wrapper" mkFoo :: IO () -> IO (NPtr Int)
|