blob: b5a9dcf4d95bdf7aec2d461c1ef59ea59914ca37 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
{-# OPTIONS_GHC -ddump-simpl #-}
module T21851 (g') where
import T21851a
g :: Num a => a -> a
g x = fst (f x)
{-# NOINLINE[99] g #-}
g' :: Int -> Int
g' = g
-- We should see a call to a /specialised/ verion of `f`,
-- something like
-- g' = \ (x :: Int) -> case T21851a.$w$sf x of { (# ww, ww1 #) -> ww }
|