testsuite/tests/typecheck/should_fail/tcfail090.hs


1
2
3
4
5
6
7
8
9
10
11

{-# LANGUAGE MagicHash #-}

module ShouldFail where

import GHC.Base

my_undefined :: a  -- This one has kind *, not OpenKind
my_undefined = undefined

die :: Int -> ByteArray#
die _ = my_undefined