tc138.hs 171 Bytes
Newer Older
1
2
3
4
5
6
7
-- 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
type B = A