testsuite/tests/typecheck/should_fail/tcfail123.hs


1
2
3
4
5
6
7
8
9
10
11

{-# LANGUAGE MagicHash #-}

module ShouldFail where

-- The danger here is getting a type like
--	f :: forall (a::??). a -> Bool
-- and hence allowing the bogus calls that follow

f x = True

h v = (f 3#, f 4.3#, f True)