Embrace -XTypeInType, add -XStarIsType
[ghc.git] / testsuite / tests / th / T11484.hs
1 {-# LANGUAGE PolyKinds #-}
2
3 module T11484 where
4
5 import Data.Kind
6
7 type TySyn (k :: *) (a :: k) = ()
8
9 $([d| type TySyn2 (k :: *) (a :: k) = () |])