+++ /dev/null
-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