testsuite/tests/linear/should_compile/Dollar2.hs


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

{-# LANGUAGE LinearTypes #-}
{-# LANGUAGE NoImplicitPrelude #-}
module Dollar2 where
{-
inplace/bin/ghc-stage1 -O2 -dcore-lint
-}


import GHC.Base

data AB = A () | B ()

qux :: Bool
qux = True
{-# NOINLINE qux #-}

foo = id $ ((if qux then A else B) $ ())

{-

-}