ghc/tests/reader/should_compile/read027.hs

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