diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/T10709b.stderr')
| -rw-r--r-- | testsuite/tests/typecheck/should_fail/T10709b.stderr | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/testsuite/tests/typecheck/should_fail/T10709b.stderr b/testsuite/tests/typecheck/should_fail/T10709b.stderr index 53483efbad..20c0c06f33 100644 --- a/testsuite/tests/typecheck/should_fail/T10709b.stderr +++ b/testsuite/tests/typecheck/should_fail/T10709b.stderr @@ -3,7 +3,7 @@ T10709b.hs:6:22: error: • Couldn't match type ‘p1’ with ‘forall a. IO a -> IO a’ Expected: (p1 -> IO ()) -> IO () Actual: ((forall a. IO a -> IO a) -> IO ()) -> IO () - Cannot instantiate unification variable ‘p1’ + • Cannot instantiate unification variable ‘p1’ with a type involving polytypes: forall a. IO a -> IO a • In the second argument of ‘(.)’, namely ‘mask’ In the expression: (replicateM 2 . mask) (\ _ -> return ()) @@ -14,7 +14,7 @@ T10709b.hs:7:22: error: • Couldn't match type ‘t0’ with ‘forall a1. IO a1 -> IO a1’ Expected: (t0 -> IO a) -> IO a Actual: ((forall a1. IO a1 -> IO a1) -> IO a) -> IO a - Cannot instantiate unification variable ‘t0’ + • Cannot instantiate unification variable ‘t0’ with a type involving polytypes: forall a1. IO a1 -> IO a1 • In the second argument of ‘(.)’, namely ‘mask’ In the expression: (replicateM 2 . mask) (\ x -> undefined x) @@ -25,7 +25,7 @@ T10709b.hs:8:22: error: • Couldn't match type ‘p0’ with ‘forall a1. IO a1 -> IO a1’ Expected: (p0 -> IO a) -> IO a Actual: ((forall a1. IO a1 -> IO a1) -> IO a) -> IO a - Cannot instantiate unification variable ‘p0’ + • Cannot instantiate unification variable ‘p0’ with a type involving polytypes: forall a1. IO a1 -> IO a1 • In the second argument of ‘(.)’, namely ‘mask’ In the expression: (replicateM 2 . mask) (id (\ _ -> undefined)) @@ -36,7 +36,7 @@ T10709b.hs:9:22: error: • Couldn't match type ‘b0’ with ‘forall a1. IO a1 -> IO a1’ Expected: (b0 -> IO a) -> IO a Actual: ((forall a1. IO a1 -> IO a1) -> IO a) -> IO a - Cannot instantiate unification variable ‘b0’ + • Cannot instantiate unification variable ‘b0’ with a type involving polytypes: forall a1. IO a1 -> IO a1 • In the second argument of ‘(.)’, namely ‘mask’ In the expression: (replicateM 2 . mask) (const undefined) @@ -47,7 +47,7 @@ T10709b.hs:10:22: error: • Couldn't match type ‘a0’ with ‘forall a1. IO a1 -> IO a1’ Expected: (a0 -> IO a) -> IO a Actual: ((forall a1. IO a1 -> IO a1) -> IO a) -> IO a - Cannot instantiate unification variable ‘a0’ + • Cannot instantiate unification variable ‘a0’ with a type involving polytypes: forall a1. IO a1 -> IO a1 • In the second argument of ‘(.)’, namely ‘mask’ In the expression: |