blob: 46a955f13870c075d263bf4d5fd74aa404b511c3 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
T11947a.hs:4:19: error:
• Could not deduce ‘RealFloat a0’
from the context: RealFloat a
bound by the type signature for:
theFloatDigits :: forall a. RealFloat a => Int
at T11947a.hs:4:19-46
The type variable ‘a0’ is ambiguous
Potentially matching instances:
instance RealFloat Double -- Defined in ‘GHC.Float’
instance RealFloat Float -- Defined in ‘GHC.Float’
• In the ambiguity check for ‘theFloatDigits’
To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
In the type signature:
theFloatDigits :: forall a. RealFloat a => Int
|