Remove the type-checking knot.
[ghc.git] / testsuite / tests / polykinds / T5912.hs
1 {-# LANGUAGE DataKinds #-}
2
3 -- This bug related to type trimming, and
4 -- hence showed up only with -O0
5
6 module Bug() where
7
8 data UnaryTypeC a = UnaryDataC a
9
10 type Bug = 'UnaryDataC
11
12