testsuite/tests/typecheck/should_fail/tcfail101.hs


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"