testsuite/tests/typecheck/should_compile/T21519.hs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18

{-# LANGUAGE MagicHash, UnboxedTuples #-}

module T21519 where

import GHC.Exts

(# #) = (# #)

g1 :: Bool -> (# Int #)
g1 = g1

f1 x =  let (# a #) = g1 True in a

g2 :: Bool -> (#  #)
g2 = g2

f2 x =  let (#  #) = g2 True in True