testsuite/tests/ghci/scripts/T12520.hs


1
2
3
4
5
6
7
8
9
10
11
12
13
14

{-# LANGUAGE MagicHash, UnboxedTuples #-}

module Bug ( box, wrap, proxy ) where

import GHC.Exts

box :: (# Proxy# a, b #) -> b
box (# x, y #) = y

wrap :: b -> Proxy# a -> (# Proxy# a, b #)
wrap x = \i# -> (# i#, x #)

proxy :: () -> Proxy# a
proxy () = proxy#