blob: 1628cd7c41f2353a632f65790bd35694b1356229 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
-- Tests kind error messages
-- GHC 6.6 stops on the first kind error it encounters,
-- so we only get one error report here. I'll leave
-- the other tests in here, though, in case matters improve
-- again
module ShouldFail where
data T k = T (k Int)
f :: [Maybe]
f x = x
g :: T Int
g x = x
h :: Int Int
h x = x
|