diff options
Diffstat (limited to 'testsuite/tests/polykinds/T14172.stderr')
-rw-r--r-- | testsuite/tests/polykinds/T14172.stderr | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/testsuite/tests/polykinds/T14172.stderr b/testsuite/tests/polykinds/T14172.stderr index d79af1f7c0..df3868fb6c 100644 --- a/testsuite/tests/polykinds/T14172.stderr +++ b/testsuite/tests/polykinds/T14172.stderr @@ -8,7 +8,8 @@ T14172.hs:7:46: error: [GHC-88464] To use the inferred type, enable PartialTypeSignatures • 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 _)’ + In the type signature: + traverseCompose :: (a -> f b) -> g a -> f (h _) T14172.hs:8:19: error: [GHC-25897] • Couldn't match type ‘a’ with ‘g'1 a'0’ |