blob: 75817c8daf4463f5ee56dbb09423bf6f8842d7bd (
plain)
1
2
3
4
5
6
7
8
9
10
|
{-# LANGUAGE TypeApplications, ScopedTypeVariables, AllowAmbiguousTypes #-}
module T11947 where
theFloatDigits :: forall a. RealFloat a => Int
-- The type is ambiguous
theFloatDigits = floatDigits (undefined @_ @a)
foo :: IO ()
foo = print (theFloatDigits @Double, theFloatDigits @Float)
-- But the applications are not
|