testsuite/tests/rename/should_compile/T2205.hs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17

{-# 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