1 --!!! cc004 -- ccall with synonyms, polymorphic type variables and user type variables.
4 -- Since I messed up the handling of polymorphism originally, I'll
5 -- explicitly test code with UserSysTyVar (ie an explicit polymorphic
8 foo = _ccall_ f `thenADR` \ a -> return (a + 1)
10 thenADR :: IO a -> (a -> IO b) -> IO b
13 -- and with a PolySysTyVar (ie no explicit signature)
15 bar = _ccall_ f `thenADR` \ a -> return (a + 1)
17 -- thenADR :: IO a -> (a -> IO b) -> IO b
20 -- and with a type synonym