Remove the type-checking knot.
[ghc.git] / testsuite / tests / polykinds / T7022b.hs
1 {-# LANGUAGE PolyKinds, TypeFamilies, DataKinds, TemplateHaskell #-}
2
3 module T7022b where
4
5 import T7022a
6
7 data family Sing (a :: k)
8
9 $( makeSList )