diff options
Diffstat (limited to 'testsuite/tests/th/T12045TH1.hs')
| -rw-r--r-- | testsuite/tests/th/T12045TH1.hs | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/testsuite/tests/th/T12045TH1.hs b/testsuite/tests/th/T12045TH1.hs index c16bab29f9..43db0069b6 100644 --- a/testsuite/tests/th/T12045TH1.hs +++ b/testsuite/tests/th/T12045TH1.hs @@ -1,11 +1,12 @@ -{-# LANGUAGE TemplateHaskell, DataKinds, PolyKinds - , TypeInType, TypeApplications, TypeFamilies #-} +{-# LANGUAGE TemplateHaskell, DataKinds, PolyKinds, + StandaloneKindSignatures, TypeApplications, TypeFamilies #-} module T12045TH1 where import Data.Kind import Language.Haskell.TH hiding (Type) -$([d| type family F (a :: k) :: Type where +$([d| type F :: k -> Type + type family F a where F @Type Int = Bool F @(Type->Type) Maybe = Char |]) |