blob: 6bd8fef75527ecaa471af8ed786851d5e28377ee (
plain)
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)
|