Test Trac #2713

testsuite/tests/ghc-regress/th/T2713.hs

+{-# LANGUAGE TemplateHaskell #-}
+module Fixity where
+
+class MyClass a where
+    (.*.) :: a -> a -> a
+
+$( [d| x = undefined |] )
+
+infixr 3 .*.

testsuite/tests/ghc-regress/th/T2713.stderr

+
+T2713.hs:9:9:
+    The fixity signature for `.*.' lacks an accompanying binding
+      (The fixity signature must be given where `.*.' is declared)

testsuite/tests/ghc-regress/th/all.T

@@ -116,6 +116,7 @@ test('TH_ghci1', normal, ghci_script, ['TH_ghci1.script'])
 test('TH_scope', normal, compile, [''])
 test('T2632', normal, compile, [''])
 test('T2700', normal, compile, ['-v0'])
+test('T2713', normal, compile_fail, ['-v0'])
 
 test('T2386', extra_clean(['T2386_Lib.hi', 'T2386_Lib.o']),
 	      run_command,