testsuite/tests/typecheck/should_fail/T13611.hs


1
2
3
4
5
6
7
8
9

{-# LANGUAGE MagicHash, UnboxedTuples #-}
import GHC.Exts
import GHC.Types

main = do
    let local = ()
    let null = 0## :: Word#
    let triple = (# local, null, null #)
    IO (\s -> case mkWeakNoFinalizer# triple () s of (# s, r #) -> (# s, () #))