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