Testsuite error message changes
[ghc.git] / testsuite / tests / indexed-types / should_fail / T8518.stderr
1 \r
2 T8518.hs:17:78:\r
3     Couldn't match expected type ‘F a1’\r
4                 with actual type ‘Z a1 -> B a1 -> F a1’\r
5     Relevant bindings include\r
6       c'' :: a1 (bound at T8518.hs:17:30)\r
7       b' :: B a1 (bound at T8518.hs:17:21)\r
8       z' :: Z a1 (bound at T8518.hs:17:18)\r
9       c' :: a1 (bound at T8518.hs:17:15)\r
10       rpt :: a -> a1 -> Z a1 -> B a1 -> F a1 (bound at T8518.hs:16:9)\r
11     In the expression: rpt (i - 1) c''\r
12     In the expression:\r
13       let c'' = fromJust (snd <$> (continue c' z' b')) in rpt (i - 1) c''\r