diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_fail')
6 files changed, 12 insertions, 12 deletions
diff --git a/testsuite/tests/typecheck/should_fail/T10619.stderr b/testsuite/tests/typecheck/should_fail/T10619.stderr index fde2daf8c6..9d34750675 100644 --- a/testsuite/tests/typecheck/should_fail/T10619.stderr +++ b/testsuite/tests/typecheck/should_fail/T10619.stderr @@ -4,7 +4,7 @@ T10619.hs:9:15: error: Expected type: (b -> b) -> b -> b Actual type: (forall a. a -> a) -> b -> b • In the expression: - ((\ x -> x) :: (forall a. a -> a) -> forall b. b -> b) + (\ x -> x) :: (forall a. a -> a) -> forall b. b -> b In the expression: if True then ((\ x -> x) :: (forall a. a -> a) -> forall b. b -> b) @@ -24,7 +24,7 @@ T10619.hs:14:15: error: Expected type: (b -> b) -> b -> b Actual type: (forall a. a -> a) -> b -> b • In the expression: - ((\ x -> x) :: (forall a. a -> a) -> forall b. b -> b) + (\ x -> x) :: (forall a. a -> a) -> forall b. b -> b In the expression: if True then \ y -> y diff --git a/testsuite/tests/typecheck/should_fail/T6069.stderr b/testsuite/tests/typecheck/should_fail/T6069.stderr index e1c2e5653f..3ee2b2d5e4 100644 --- a/testsuite/tests/typecheck/should_fail/T6069.stderr +++ b/testsuite/tests/typecheck/should_fail/T6069.stderr @@ -12,7 +12,7 @@ T6069.hs:14:15: error: Expected type: ST s1 Int -> a1 Actual type: (forall s. ST s a1) -> a1 • In the second argument of ‘(.)’, namely ‘runST’ - In the expression: (print . runST) + In the expression: print . runST In the expression: (print . runST) $ fourty_two T6069.hs:15:16: error: diff --git a/testsuite/tests/typecheck/should_fail/tcfail009.stderr b/testsuite/tests/typecheck/should_fail/tcfail009.stderr index 2597a00c4b..7e4d29ae48 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail009.stderr +++ b/testsuite/tests/typecheck/should_fail/tcfail009.stderr @@ -1,6 +1,6 @@ -tcfail009.hs:3:17: - Couldn't match expected type ‘Int’ with actual type ‘Integer’ - In the expression: (2 :: Integer) - In the expression: [(1 :: Int) .. (2 :: Integer)] - In an equation for ‘p’: p = [(1 :: Int) .. (2 :: Integer)] +tcfail009.hs:3:17: error: + • Couldn't match expected type ‘Int’ with actual type ‘Integer’ + • In the expression: 2 :: Integer + In the expression: [(1 :: Int) .. (2 :: Integer)] + In an equation for ‘p’: p = [(1 :: Int) .. (2 :: Integer)] diff --git a/testsuite/tests/typecheck/should_fail/tcfail032.stderr b/testsuite/tests/typecheck/should_fail/tcfail032.stderr index 14be02dc45..a09941d284 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail032.stderr +++ b/testsuite/tests/typecheck/should_fail/tcfail032.stderr @@ -6,7 +6,7 @@ tcfail032.hs:14:8: error: an expression type signature: forall a1. Eq a1 => a1 -> Int at tcfail032.hs:14:13-30 - • In the expression: (x :: (Eq a) => a -> Int) + • In the expression: x :: (Eq a) => a -> Int In an equation for ‘f’: f x = (x :: (Eq a) => a -> Int) • Relevant bindings include x :: p (bound at tcfail032.hs:14:3) diff --git a/testsuite/tests/typecheck/should_fail/tcfail104.stderr b/testsuite/tests/typecheck/should_fail/tcfail104.stderr index 44d8e4888c..6516dcbd3a 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail104.stderr +++ b/testsuite/tests/typecheck/should_fail/tcfail104.stderr @@ -3,7 +3,7 @@ tcfail104.hs:14:12: error: • Couldn't match type ‘forall a. a -> a’ with ‘Char -> Char’ Expected type: (Char -> Char) -> Char -> Char Actual type: (forall a. a -> a) -> Char -> Char - • In the expression: (\ (x :: forall a. a -> a) -> x) + • In the expression: \ (x :: forall a. a -> a) -> x In the expression: if v then (\ (x :: forall a. a -> a) -> x) else (\ x -> x) In the expression: @@ -15,4 +15,4 @@ tcfail104.hs:22:15: error: • When checking that the pattern signature: forall a. a -> a fits the type of its context: Char -> Char In the pattern: x :: forall a. a -> a - In the expression: (\ (x :: forall a. a -> a) -> x) + In the expression: \ (x :: forall a. a -> a) -> x diff --git a/testsuite/tests/typecheck/should_fail/tcfail208.stderr b/testsuite/tests/typecheck/should_fail/tcfail208.stderr index d8b48cf2eb..cd8e6379e9 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail208.stderr +++ b/testsuite/tests/typecheck/should_fail/tcfail208.stderr @@ -5,5 +5,5 @@ tcfail208.hs:4:10: error: bound by the type signature for: f :: forall (m :: * -> *) a. (Monad m, Eq a) => a -> m a -> Bool at tcfail208.hs:3:1-40 - • In the expression: (return x == y) + • In the expression: return x == y In an equation for ‘f’: f x y = (return x == y) |