diff options
Diffstat (limited to 'testsuite/tests/partial-sigs/should_compile/T10403.stderr')
| -rw-r--r-- | testsuite/tests/partial-sigs/should_compile/T10403.stderr | 29 |
1 files changed, 6 insertions, 23 deletions
diff --git a/testsuite/tests/partial-sigs/should_compile/T10403.stderr b/testsuite/tests/partial-sigs/should_compile/T10403.stderr index 1a7162d612..f3b6343893 100644 --- a/testsuite/tests/partial-sigs/should_compile/T10403.stderr +++ b/testsuite/tests/partial-sigs/should_compile/T10403.stderr @@ -14,35 +14,18 @@ T10403.hs:15:12: warning: [-Wpartial-type-signatures (in -Wdefault)] • In the type signature: h1 :: _ => _ T10403.hs:19:7: warning: [-Wpartial-type-signatures (in -Wdefault)] - • Found type wildcard ‘_’ standing for ‘(a -> a1) -> f0 a -> H f0’ - Where: ‘f0’ is an ambiguous type variable + • Found type wildcard ‘_’ + standing for ‘(a -> a1) -> B t0 a -> H (B t0)’ + Where: ‘t0’ is an ambiguous type variable ‘a1’, ‘a’ are rigid type variables bound by - the inferred type of h2 :: (a -> a1) -> f0 a -> H f0 + the inferred type of h2 :: (a -> a1) -> B t0 a -> H (B t0) at T10403.hs:22:1-41 • In the type signature: h2 :: _ -T10403.hs:22:15: warning: [-Wdeferred-type-errors (in -Wdefault)] - • Ambiguous type variable ‘f0’ arising from a use of ‘fmap’ - prevents the constraint ‘(Functor f0)’ from being solved. - Relevant bindings include - b :: f0 a (bound at T10403.hs:22:6) - h2 :: (a -> a1) -> f0 a -> H f0 (bound at T10403.hs:22:1) - Probable fix: use a type annotation to specify what ‘f0’ should be. - These potential instances exist: - instance Functor IO -- Defined in ‘GHC.Base’ - instance Functor (B t) -- Defined at T10403.hs:10:10 - instance Functor I -- Defined at T10403.hs:6:10 - ...plus five others - ...plus two instances involving out-of-scope types - (use -fprint-potential-instances to see them all) - • In the second argument of ‘(.)’, namely ‘fmap (const ())’ - In the expression: (H . fmap (const ())) (fmap f b) - In an equation for ‘h2’: h2 f b = (H . fmap (const ())) (fmap f b) - T10403.hs:28:8: warning: [-Wdeferred-type-errors (in -Wdefault)] - • Couldn't match type ‘f0’ with ‘B t’ + • Couldn't match type ‘t0’ with ‘t’ Expected: H (B t) - Actual: H f0 + Actual: H (B t0) because type variable ‘t’ would escape its scope This (rigid, skolem) type variable is bound by the type signature for: |