Merge non-moving garbage collector
[ghc.git] / testsuite / tests / typecheck / should_compile / T11947.hs
1 {-# LANGUAGE TypeApplications, ScopedTypeVariables, AllowAmbiguousTypes #-}
2 module T11947 where
3
4 theFloatDigits :: forall a. RealFloat a => Int
5 -- The type is ambiguous
6 theFloatDigits = floatDigits (undefined @_ @a)
7
8 foo :: IO ()
9 foo = print (theFloatDigits @Double, theFloatDigits @Float)
10 -- But the applications are not