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