Test Trac #5712

testsuite/tests/deriving/should_run/T5712.hs

+{-# LANGUAGE GADTs #-}
+
+module Main where
+
+infix 5 :*: 
+data T a where
+  (:*:) :: Int -> a -> T a
+  (:+:) :: Char -> T a -> T a
+  deriving( Show )
+
+ -- The Show should print (:*:) infix, but (:+:) prefix, 
+ -- since it lacks a fixity declaration
+
+main = print ('x' :+: (3 :*: True))

testsuite/tests/deriving/should_run/T5712.stdout

+(:+:) 'x' (3 :*: True)

testsuite/tests/deriving/should_run/all.T

@@ -33,4 +33,5 @@ test('T4136', normal, compile_and_run, [''])
 test('T4528a', normal, compile_and_run, [''])
 test('T5041', normal, compile_and_run, [''])
 test('T5628', exit_code(1), compile_and_run, [''])
+test('T5712', normal, compile_and_run, [''])