Improve error messages around kind mismatches.
[ghc.git] / testsuite / tests / typecheck / should_fail / T11947a.stderr
1
2 T11947a.hs:4:19: error:
3     • Could not deduce (RealFloat a0)
4       from the context: RealFloat a
5         bound by the type signature for:
6                    theFloatDigits :: forall a. RealFloat a => Int
7         at T11947a.hs:4:19-46
8       The type variable ‘a0’ is ambiguous
9     • In the ambiguity check for ‘theFloatDigits’
10       To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
11       In the type signature:
12         theFloatDigits :: forall a. RealFloat a => Int