testsuite/tests/ghc-regress/ffi/should_compile/cc008.hs


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)