Commit 4c7cb198 authored by simonmar's avatar simonmar
Browse files

[project @ 1999-12-15 10:01:42 by simonmar]

Add test displaying bug in fixity resolution on lhs of a function
binding.  We currently fail on this example, but at least putting it
in the test suite will make sure we don't forget about it :)
parent 4ca466da
module ShouldCompile where
infix 5 |-
infix 9 :=
data Equal = Char := Int
-- fails in GHC 4.04, 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
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment