@@ -1,5 +1,5 @@
1−-- @shouldFailWith ExprDoesNotHaveType
1+-- @shouldFailWith TypesDoNotUnify
2−-- @shouldFailWith ExprDoesNotHaveType
2+-- @shouldFailWith TypesDoNotUnify
3module MultipleErrors where
3module MultipleErrors where
5import Prelude
5import Prelude