Test Trac #5358

testsuite/tests/th/T5358.hs

+{-# LANGUAGE TemplateHaskell #-}
+module T5358 where
+
+import Language.Haskell.TH
+
+t1, t2 :: Int
+t1 x = x
+t2 x = x
+
+prop_x1 x = t1 x == t2 x
+
+runTests = $( do VarI _ t _ _ <- reify (mkName "prop_x1")
+                 error $ pprint t
+            )

testsuite/tests/th/T5358.stderr

+
+T5358.hs:7:1:
+    The equation(s) for `t1' have one argument,
+    but its type `Int' has none
+
+T5358.hs:8:1:
+    The equation(s) for `t2' have one argument,
+    but its type `Int' has none
+
+T5358.hs:10:13:
+    The function `t1' is applied to one argument,
+    but its type `Int' has none
+    In the first argument of `(==)', namely `t1 x'
+    In the expression: t1 x == t2 x
+    In an equation for `prop_x1': prop_x1 x = t1 x == t2 x

testsuite/tests/th/all.T

@@ -192,3 +192,5 @@ test('TH_unresolvedInfix2',
      normal,
      compile_fail,
      ['-v0'])
+
+test('T5358', normal, compile_fail, [''])