a152f55f251e82d45330c6a96bc3c46d6aad1372
[ghc.git] / testsuite / tests / indexed-types / should_fail / T8518.stderr
1
2 T8518.hs:14:18: error:
3     • Couldn't match expected type ‘Z c -> B c -> Maybe (F c)’
4                   with actual type ‘F c’
5     • The function ‘rpt’ is applied to four arguments,
6       but its type ‘Int -> c -> F c’ has only two
7       In the expression: rpt (4 :: Int) c z b
8       In an equation for ‘callCont’:
9           callCont c z b
10             = rpt (4 :: Int) c z b
11             where
12                 rpt 0 c' z' b' = fromJust (fst <$> (continue c' z' b'))
13                 rpt i c' z' b' = let ... in rpt (i - 1) c''
14     • Relevant bindings include
15         b :: B c (bound at T8518.hs:14:14)
16         z :: Z c (bound at T8518.hs:14:12)
17         c :: c (bound at T8518.hs:14:10)
18         callCont :: c -> Z c -> B c -> Maybe (F c) (bound at T8518.hs:14:1)
19
20 T8518.hs:16:9: error:
21     • Couldn't match type ‘F t’ with ‘Z t -> B t -> F t’
22       Expected type: t1 -> t -> F t
23         Actual type: t1 -> t -> Z t -> B t -> F t
24     • In an equation for ‘callCont’:
25           callCont c z b
26             = rpt (4 :: Int) c z b
27             where
28                 rpt 0 c' z' b' = fromJust (fst <$> (continue c' z' b'))
29                 rpt i c' z' b' = let ... in rpt (i - 1) c''
30     • Relevant bindings include
31         rpt :: t1 -> t -> F t (bound at T8518.hs:16:9)