summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/T11947a.stderr
blob: 20d6a541ba0fd9b002019dd783c03b165c031bcc (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

T11947a.hs:4:19: error: [GHC-39999]
    • 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