blob: d8b45db27112e8935b6f8fd640ff366faa8fa881 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
-- test reification of monomorphic types
module TH_reifyType1
where
import Language.Haskell.TH
foo :: Int -> Int
foo x = x + 1
type_foo :: InfoQ
type_foo = reify 'foo
|