summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/tcfail141.hs
blob: 12504d04f3a6f1aab94a9b710abf6f8d909e8526 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
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.