testsuite/tests/ghc-regress/simplCore/should_compile/T4201.hs


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

module Eta where

data T = MkT 
newtype Foo = Foo T

lift :: Foo -> T
lift (Foo x) = bof x	
  -- The point is that we expect 
  --   lift = bof |> co
  -- not
  --   lift = \fx -> bof (fx |> co)

bof :: T -> T
{-# NOINLINE bof #-}
bof MkT = MkT