Add Fixity info for infix types
[ghc.git] / testsuite / tests / th / T5358.hs
1 {-# LANGUAGE TemplateHaskell #-}
2 module T5358 where
3
4 import Language.Haskell.TH
5
6 t1, t2 :: Int
7 t1 x = x
8 t2 x = x
9
10 prop_x1 x = t1 x == t2 x
11
12 $(return [])
13
14 runTests = $( do VarI _ t _ <- reify (mkName "prop_x1")
15 error $ ("runTest called error: " ++ pprint t)
16 )