testsuite/tests/typecheck/should_fail/tcfail215.hs


1
2
3
4
5
6
7
8
9

{-# LANGUAGE ImplicitParams, MagicHash #-}

module ShouldFail where

import GHC.Exts

-- As of GHC 7.4, we don't allow unlifted types in ImplicitParms
foo :: (?x :: Int#) => Int
foo = I# ?x