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

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
    • 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