1 --!!! cc004 -- ccall with synonyms, polymorphic type variables and user type variables.
6 -- Since I messed up the handling of polymorphism originally, I'll
7 -- explicitly test code with UserSysTyVar (ie an explicit polymorphic
10 foo = _ccall_ f `thenADR` \ a -> returnPrimIO (a + 1)
12 thenADR :: PrimIO a -> (a -> PrimIO b) -> PrimIO b
13 m `thenADR` k = \ s -> case m s of
16 -- and with a PolySysTyVar (ie no explicit signature)
18 bar = _ccall_ f `thenADR` \ a -> returnPrimIO (a + 1)
20 -- thenADR :: PrimIO a -> (a -> PrimIO b) -> PrimIO b
21 m `thenADR` k = \ s -> case m s of
24 -- and with a type synonym