Always do the worker/wrapper split for NOINLINEs
[ghc.git] / testsuite / tests / simplCore / should_compile / T13543.hs
1 {-# LANGUAGE RankNTypes, GADTs #-}
2
3 module Foo where
4
5 g :: (Int, Int) -> Int
6 {-# NOINLINE g #-}
7 g (p,q) = p+q
8
9 f :: Int -> Int -> Int -> Int
10 f x p q
11 = g (let j y = (y+p,q)
12 {-# NOINLINE j #-}
13 in
14 case x of
15 2 -> j 3
16 _ -> j 4)
17