Fail fast in solveLocalEqualities
[ghc.git] / testsuite / tests / indexed-types / should_fail / T13877.stderr
1
2 T13877.hs:65:41: error:
3     • Expecting one more argument to ‘p’
4       Expected kind ‘(-?>) [a] * (':->)’, but ‘p’ has kind ‘[a] ~> *’
5     • In the type ‘p’
6       In the expression: listElimPoly @(:->) @a @p @l
7       In an equation for ‘listElimTyFun’:
8           listElimTyFun = listElimPoly @(:->) @a @p @l
9     • Relevant bindings include
10         listElimTyFun :: Sing l
11                          -> (p @@ '[])
12                          -> (forall (x :: a) (xs :: [a]).
13                              Sing x -> Sing xs -> (p @@ xs) -> p @@ (x : xs))
14                          -> p @@ l
15           (bound at T13877.hs:65:1)