blob: a6893450f80279c62e06d51fd76bbe8d90a73fae (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
module ShouldCompile where
infix 5 |-
infix 9 :=
data Equal = Char := Int
-- fails in GHC (all versions), due to not doing fixity resolution on
-- the lhs before deciding which is the function symbol.
(|-) :: Int -> Equal -> Bool
0 |- x:=y = 1 |- x:=y -- XXX fails here
2 |- (x:=y) = 0 |- x:=y
_ |- _ = False
|
