diff options
Diffstat (limited to 'testsuite/tests/indexed-types/should_fail/T8518.stderr')
-rw-r--r-- | testsuite/tests/indexed-types/should_fail/T8518.stderr | 33 |
1 files changed, 16 insertions, 17 deletions
diff --git a/testsuite/tests/indexed-types/should_fail/T8518.stderr b/testsuite/tests/indexed-types/should_fail/T8518.stderr index 0df2b3cf83..037bb76bbe 100644 --- a/testsuite/tests/indexed-types/should_fail/T8518.stderr +++ b/testsuite/tests/indexed-types/should_fail/T8518.stderr @@ -1,7 +1,10 @@ T8518.hs:14:18: error: - • Couldn't match expected type ‘Maybe (F c)’ with actual type ‘F c’ - • In the expression: rpt (4 :: Int) c z b + • Couldn't match expected type ‘Z c -> B c -> Maybe (F c)’ + with actual type ‘F c’ + • The function ‘rpt’ is applied to four arguments, + but its type ‘Int -> c -> F c’ has only two + In the expression: rpt (4 :: Int) c z b In an equation for ‘callCont’: callCont c z b = rpt (4 :: Int) c z b @@ -14,19 +17,15 @@ T8518.hs:14:18: error: c :: c (bound at T8518.hs:14:10) callCont :: c -> Z c -> B c -> Maybe (F c) (bound at T8518.hs:14:1) -T8518.hs:17:78: error: - • Couldn't match expected type ‘F a’ - with actual type ‘Z a -> B a -> F a’ - • In the expression: rpt (i - 1) c'' - In the expression: - let c'' = fromJust (snd <$> (continue c' z' b')) in rpt (i - 1) c'' - In an equation for ‘rpt’: - rpt i c' z' b' - = let c'' = fromJust (snd <$> (continue c' z' b')) - in rpt (i - 1) c'' +T8518.hs:16:9: error: + • Couldn't match type ‘F t1’ with ‘Z t1 -> B t1 -> F t1’ + Expected type: t -> t1 -> F t1 + Actual type: t -> t1 -> Z t1 -> B t1 -> F t1 + • In an equation for ‘callCont’: + callCont c z b + = rpt (4 :: Int) c z b + where + rpt 0 c' z' b' = fromJust (fst <$> (continue c' z' b')) + rpt i c' z' b' = let ... in rpt (i - 1) c'' • Relevant bindings include - c'' :: a (bound at T8518.hs:17:30) - b' :: B a (bound at T8518.hs:17:21) - z' :: Z a (bound at T8518.hs:17:18) - c' :: a (bound at T8518.hs:17:15) - rpt :: a1 -> a -> Z a -> B a -> F a (bound at T8518.hs:16:9) + rpt :: t -> t1 -> F t1 (bound at T8518.hs:16:9) |