diff options
Diffstat (limited to 'testsuite/tests/polykinds/T14172.stderr')
| -rw-r--r-- | testsuite/tests/polykinds/T14172.stderr | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/testsuite/tests/polykinds/T14172.stderr b/testsuite/tests/polykinds/T14172.stderr index 487b006ec1..f85cf66d79 100644 --- a/testsuite/tests/polykinds/T14172.stderr +++ b/testsuite/tests/polykinds/T14172.stderr @@ -6,8 +6,9 @@ T14172.hs:6:46: error: traverseCompose :: (a -> f b) -> g a -> f (h a') at T14172.hs:7:1-46 To use the inferred type, enable PartialTypeSignatures - • In the type signature: - traverseCompose :: (a -> f b) -> g a -> f (h _) + • In the first argument of ‘h’, namely ‘_’ + In the first argument of ‘f’, namely ‘(h _)’ + In the type ‘(a -> f b) -> g a -> f (h _)’ T14172.hs:7:19: error: • Occurs check: cannot construct the infinite type: a ~ g'1 a |