blob: 8bd88749c304c475d7e9a2f82b2c7a15123f8a97 (
plain)
1
2
3
4
5
6
7
8
9
10
|
-- This one broke GHC 5.02, because of the unsaturated
-- uses of type synonyms, which are nevertheless kind-correct.
module ShouldCompile where
type A i = i
data T k = MkT (k Int)
f :: T A -- BAD!
f = error "foo"
|