summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/tcfail140.hs
blob: 8a4bb7dbe5a8d641f12c465f622392edfd2b9d53 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
-- GHC 6.4 gave pretty horrible error messages
-- for some of these examples
-- c.f. SourceForge [ ghc-Bugs-1231273 ] confusing error

module ShouldFail where

f :: Int -> Int
f x = x

bar = f 3 9

rot xs = 3 `f` 4

bot xs = map (3 `f`) xs

t = ((\Just x -> x) :: Maybe a -> a) (Just 1)

g :: Int -> Int
g x y = True