Relevant Bindings no longer reports shadowed bindings (fixes #12176)
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail123.hs
1 {-# LANGUAGE MagicHash #-}
2
3 module ShouldFail where
4
5 -- The danger here is getting a type like
6 -- f :: forall (a::??). a -> Bool
7 -- and hence allowing the bogus calls that follow
8
9 f x = True
10
11 h v = f 3#
12 -- h v = (f 3#, f 4.3#, f True)