blob: 06564ebc29734c1ae1657ef3db8280cb7117b9be (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
|
-- Tests that a complete type is yielded by reify for local definitions,
-- even when using functional dependencies which are resolved at the very end of
-- type checking.
{-# LANGUAGE TemplateHaskell #-}
{-# LANGUAGE FunctionalDependencies #-}
module TH_reifyLocalDefs2 where
import Language.Haskell.TH as TH
import Language.Haskell.TH.Syntax as TH
import System.IO
class C a b | a -> b where
yo :: a -> IO b
instance C Bool Int where
yo _ = return 0
t3 :: IO ()
t3 = do
x <- yo True
$(do addModFinalizer $ do
VarI _ t _ <- TH.reify 'x
runIO $ hPutStrLn stderr $ show t
[| return () |]
)
|
