Test for Trac 2205

testsuite/tests/ghc-regress/rename/should_compile/T2205.hs

+{-# OPTIONS_GHC -XTypeOperators #-}
+
+-- Test fixity of type operators
+-- Trac #2205
+
+module ShouldCompile where
+
+ infixr 0 :->
+ data a :-> b = P a b
+
+ fst3:: (a :-> (b :-> c)) -> a
+ fst3 (P a (P b c)) = a
+
+
+ fst3':: (a :-> b :-> c) -> a
+ fst3' (P a (P b c)) = a
+

testsuite/tests/ghc-regress/rename/should_compile/all.T

@@ -77,6 +77,7 @@ test('rn064', normal, compile, [''])
 test('rn065', normal, multimod_compile, ['rn065', '-v0'])
 
 test('T1972', if_compiler_lt('ghc', '6.9', expect_fail), compile, [''])
+test('T2205', normal, compile, [''])
 
 test('timing001', normal, compile, [''])
 test('timing002', normal, compile, [''])