Commit 1e3708f4 authored by Ian Lynagh's avatar Ian Lynagh

Add another case to cc015

parent 8a051fca
......@@ -3,6 +3,8 @@
module Cc015 where
import Foreign.C
type S a = a
type IOS a = IO a
......@@ -15,6 +17,7 @@ newtype G1F = G1F (F (S Int))
newtype G2 = G2 Char
newtype G3 = G3 (IO Int)
newtype G4 = G4 G3
newtype NIO a = NIO (IO a)
-- Type synonyms should be transparent to the typechecker
foreign import ccall f1 :: S Int -> IOS Int
......@@ -28,4 +31,7 @@ foreign export ccall "g3" f3 :: G1 -> G2 -> G4
-- And a combination
foreign import ccall f4 :: G1F -> F Bool -> S G4
foreign export ccall "g4" f4 :: G1F -> F Bool -> S G4
-- And a newtyped IO
foreign import ccall f5 :: NIO Int
foreign export ccall "g5" f5 :: NIO Int
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment