testsuite/tests/typecheck/should_fail/tcfail123.hs


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

{-# 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#
-- h v = (f 3#, f 4.3#, f True)