Remove the type-checking knot.
[ghc.git] / testsuite / tests / polykinds / T5948.hs
1 {-# LANGUAGE DataKinds, TypeOperators #-}
2
3 module T5948 where
4
5 type Foo = (Int ': '[])
6
7 type Bar = Int ': '[]