summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/T11947a.stderr
blob: c63c745e44f156a0605f95ed0015f671ce29371b (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