diff options
Diffstat (limited to 'testsuite/tests/polykinds/T7438.stderr')
| -rw-r--r-- | testsuite/tests/polykinds/T7438.stderr | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/testsuite/tests/polykinds/T7438.stderr b/testsuite/tests/polykinds/T7438.stderr index ff1e74cc27..f3ce4851ab 100644 --- a/testsuite/tests/polykinds/T7438.stderr +++ b/testsuite/tests/polykinds/T7438.stderr @@ -1,20 +1,20 @@ T7438.hs:6:14: error: - • Could not deduce (p ~ p1) + • Could not deduce (p1 ~ p2) from the context: b ~ a bound by a pattern with constructor: Nil :: forall {k} (a :: k). Thrist a a, in an equation for ‘go’ at T7438.hs:6:4-6 - ‘p’ is a rigid type variable bound by - the inferred type of go :: Thrist a b -> p -> p1 - at T7438.hs:6:1-16 ‘p1’ is a rigid type variable bound by - the inferred type of go :: Thrist a b -> p -> p1 + the inferred type of go :: Thrist a b -> p1 -> p2 + at T7438.hs:6:1-16 + ‘p2’ is a rigid type variable bound by + the inferred type of go :: Thrist a b -> p1 -> p2 at T7438.hs:6:1-16 • In the expression: acc In an equation for ‘go’: go Nil acc = acc • Relevant bindings include - acc :: p (bound at T7438.hs:6:8) - go :: Thrist a b -> p -> p1 (bound at T7438.hs:6:1) + acc :: p1 (bound at T7438.hs:6:8) + go :: Thrist a b -> p1 -> p2 (bound at T7438.hs:6:1) Suggested fix: Consider giving ‘go’ a type signature |