Fix TcSimplify.decideQuantification for kind variables
[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 t1’ with ‘Z t1 -> B t1 -> F t1’
22       Expected type: t -> t1 -> F t1
23         Actual type: t -> t1 -> Z t1 -> B t1 -> F t1
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 :: t -> t1 -> F t1 (bound at T8518.hs:16:9)