testsuite/tests/typecheck/should_fail/tcfail079.hs


1
2
3
4
5
6
7
8
9
10
11

{-# LANGUAGE MagicHash #-}

module ShouldFail where

-- !!! unboxed field in newtype declaration

import GHC.Exts ( Int# )

newtype Unboxed = Unboxed Int#

f = [ Unboxed 1#, Unboxed 2# ] -- shouldn't be allowed!