testsuite/tests/simplCore/should_compile/spec004.hs


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

{-# LANGUAGE RankNTypes #-}

-- Dead arguments should be dropped in specialisations. See !2913.

module ShouldCompile where

foo :: () -> Show a => a -> String
foo _x y = show y ++ "!"
{-# NOINLINE[0] foo #-}

bar :: String
bar = foo () (42 :: Int)