--- /dev/null
+module ShouldFail where
+
+-- !!! Precedence of unary negation
+
+f1 x y = x + -y -- Fails
+f2 x y = x * -y -- Fails
+
+
+f3 x y = -x + y -- OK: means (-x) + y
+ -- since - is left associative
+
+f4 x y = - x*y -- OK: means -(x*y)
+ -- since - binds less tightly than *
+
+f5 x y = x >= -y -- OK means x >= (-y)
+
+
--- /dev/null
+
+rnfail017.hs:5:
+ precedence parsing error
+ cannot mix `+' (infixl 6) and `negate' (infixl 6) in the same infix expression
+
+rnfail017.hs:6:
+ precedence parsing error
+ cannot mix `*' (infixl 7) and `negate' (infixl 6) in the same infix expression
+
+Compilation had errors
+