diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/tcfail141.hs')
| -rw-r--r-- | testsuite/tests/typecheck/should_fail/tcfail141.hs | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/testsuite/tests/typecheck/should_fail/tcfail141.hs b/testsuite/tests/typecheck/should_fail/tcfail141.hs new file mode 100644 index 0000000000..12504d04f3 --- /dev/null +++ b/testsuite/tests/typecheck/should_fail/tcfail141.hs @@ -0,0 +1,17 @@ +{-# LANGUAGE MagicHash, UnboxedTuples #-} + +-- Should fail, because f :: (# Int#, ByteArray# #) + +module ShouldFail where + +import GHC.Prim (Int#, ByteArray#) + +main :: IO () +main = let f = int2Integer# 0# in putStrLn "" + + +int2Integer# :: Int# -> (# Int#, ByteArray# #) +int2Integer# = undefined +-- This function doesn't have to work! +-- We just need it for its type. + |