diff options
Diffstat (limited to 'testsuite/tests/indexed-types/should_fail/T13877.stderr')
| -rw-r--r-- | testsuite/tests/indexed-types/should_fail/T13877.stderr | 22 |
1 files changed, 2 insertions, 20 deletions
diff --git a/testsuite/tests/indexed-types/should_fail/T13877.stderr b/testsuite/tests/indexed-types/should_fail/T13877.stderr index 9dc8534ca1..674b258c24 100644 --- a/testsuite/tests/indexed-types/should_fail/T13877.stderr +++ b/testsuite/tests/indexed-types/should_fail/T13877.stderr @@ -1,25 +1,7 @@ -T13877.hs:65:17: error: - • Couldn't match type ‘Apply p (x : xs)’ with ‘p (x : xs)’ - Expected type: Sing x - -> Sing xs - -> App [a1] (':->) * p xs - -> App [a1] (':->) * p (x : xs) - Actual type: Sing x -> Sing xs -> (p @@ xs) -> p @@ (x : xs) - • In the expression: listElimPoly @(:->) @a @p @l - In an equation for ‘listElimTyFun’: - listElimTyFun = listElimPoly @(:->) @a @p @l - • Relevant bindings include - listElimTyFun :: Sing l - -> (p @@ '[]) - -> (forall (x :: a1) (xs :: [a1]). - Sing x -> Sing xs -> (p @@ xs) -> p @@ (x : xs)) - -> p @@ l - (bound at T13877.hs:65:1) - T13877.hs:65:41: error: • Expecting one more argument to ‘p’ - Expected kind ‘(-?>) [a1] * (':->)’, but ‘p’ has kind ‘[a1] ~> *’ + Expected kind ‘(-?>) [a] * (':->)’, but ‘p’ has kind ‘[a] ~> *’ • In the type ‘p’ In the expression: listElimPoly @(:->) @a @p @l In an equation for ‘listElimTyFun’: @@ -27,7 +9,7 @@ T13877.hs:65:41: error: • Relevant bindings include listElimTyFun :: Sing l -> (p @@ '[]) - -> (forall (x :: a1) (xs :: [a1]). + -> (forall (x :: a) (xs :: [a]). Sing x -> Sing xs -> (p @@ xs) -> p @@ (x : xs)) -> p @@ l (bound at T13877.hs:65:1) |