Fix some expected error messages in tests
commitb5a1b021496805e1ec351007141cf817d181d763
authorPhil Freeman <paf31@cantab.net>
dateSun 13 Sep 2015, 16:54 (11 years ago)
parent92f1775
examples/failing/Arrays.purs+1−1
@@ -1,4 +1,4 @@
1−-- @shouldFailWith ExprDoesNotHaveType
1+-- @shouldFailWith TypesDoNotUnify
22module Main where
33
44import Prelude
examples/failing/MultipleErrors.purs+2−2
@@ -1,5 +1,5 @@
1−-- @shouldFailWith ExprDoesNotHaveType
2−-- @shouldFailWith ExprDoesNotHaveType
1+-- @shouldFailWith TypesDoNotUnify
2+-- @shouldFailWith TypesDoNotUnify
33module MultipleErrors where
44
55import Prelude
examples/failing/Rank2Types.purs+1−1
@@ -1,4 +1,4 @@
1−-- @shouldFailWith ExprDoesNotHaveType
1+-- @shouldFailWith TypesDoNotUnify
22module Main where
33
44import Prelude
examples/failing/TypeError.purs+1−1
@@ -1,4 +1,4 @@
1−-- @shouldFailWith ExprDoesNotHaveType
1+-- @shouldFailWith TypesDoNotUnify
22module Main where
33
44import Prelude