diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/T10709.stderr')
-rw-r--r-- | testsuite/tests/typecheck/should_fail/T10709.stderr | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/testsuite/tests/typecheck/should_fail/T10709.stderr b/testsuite/tests/typecheck/should_fail/T10709.stderr index 543cc05a38..b27ed794a1 100644 --- a/testsuite/tests/typecheck/should_fail/T10709.stderr +++ b/testsuite/tests/typecheck/should_fail/T10709.stderr @@ -1,10 +1,10 @@ -T10709.hs:6:21: error: +T10709.hs:6:21: error: [GHC-91028] • Couldn't match type ‘a2’ with ‘(forall a4. IO a4 -> IO a4) -> IO a3’ Expected: a2 -> IO a3 Actual: ((forall a. IO a -> IO a) -> IO a3) -> IO a3 - • Cannot equate type variable ‘a2’ + Cannot equate type variable ‘a2’ with a type involving polytypes: (forall a4. IO a4 -> IO a4) -> IO a3 ‘a2’ is a rigid type variable bound by @@ -16,12 +16,12 @@ T10709.hs:6:21: error: • Relevant bindings include x1 :: a2 -> IO [a3] (bound at T10709.hs:6:1) -T10709.hs:7:22: error: +T10709.hs:7:22: error: [GHC-91028] • Couldn't match type ‘a1’ with ‘(forall a2. IO a2 -> IO a2) -> IO a’ Expected: a1 -> IO a Actual: ((forall a1. IO a1 -> IO a1) -> IO a) -> IO a - • Cannot instantiate unification variable ‘a1’ + Cannot instantiate unification variable ‘a1’ with a type involving polytypes: (forall a2. IO a2 -> IO a2) -> IO a • In the second argument of ‘(.)’, namely ‘mask’ @@ -29,12 +29,12 @@ T10709.hs:7:22: error: In an equation for ‘x2’: x2 = (replicateM 2 . mask) undefined • Relevant bindings include x2 :: IO [a] (bound at T10709.hs:7:1) -T10709.hs:8:22: error: +T10709.hs:8:22: error: [GHC-91028] • Couldn't match type ‘a0’ with ‘(forall a2. IO a2 -> IO a2) -> IO a’ Expected: a0 -> 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 a2. IO a2 -> IO a2) -> IO a • In the second argument of ‘(.)’, namely ‘mask’ |