Embrace -XTypeInType, add -XStarIsType
[ghc.git] / testsuite / tests / simplCore / should_run / T2756.hs
1 module Main where
2
3 data X = X ()
4
5 {-# NOINLINE newX #-}
6 newX :: () -> IO X
7 newX n = do
8 let {-# NOINLINE value #-}
9 value = n
10 return (X value)
11
12 main = do
13 x <- newX (error "Why?")
14 case x of
15 X _ -> return ()