Relevant Bindings no longer reports shadowed bindings (fixes #12176)
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail215.hs
1 {-# LANGUAGE ImplicitParams, MagicHash #-}
2
3 module ShouldFail where
4
5 import GHC.Exts
6
7 -- As of GHC 7.4, we don't allow unlifted types in ImplicitParms
8 foo :: (?x :: Int#) => Int
9 foo = I# ?x