testsuite/tests/typecheck/should_fail/T12373.hs


1
2
3
4
5
6
7
8
9
10

{-# LANGUAGE MagicHash, ScopedTypeVariables, UnboxedTuples #-}

module T12373 where

import GHC.MVar
import GHC.Exts
import GHC.Types

main :: IO ()
main = IO (\rw -> newMVar# rw) >> return ()