diff options
Diffstat (limited to 'testsuite/tests/th/T3920.hs')
-rw-r--r-- | testsuite/tests/th/T3920.hs | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/testsuite/tests/th/T3920.hs b/testsuite/tests/th/T3920.hs index d7ea28de5b..e5e9e17e69 100644 --- a/testsuite/tests/th/T3920.hs +++ b/testsuite/tests/th/T3920.hs @@ -1,16 +1,19 @@ {-# LANGUAGE EmptyDataDecls, TypeFamilies, TemplateHaskell #-} module Main where -import Language.Haskell.TH +import Language.Haskell.TH hiding (Type) +import Data.Kind (Type) -type family S :: (* -> (* -> * -> *)) -> (* -> *) -> * +type family S :: (Type -> (Type -> Type -> Type)) + -> (Type -> Type) -> Type $(return []) test :: String test = $(do test <- [d| - type family T :: (* -> (* -> * -> *)) -> (* -> *) -> * |] + type family T :: (Type -> (Type -> Type -> Type)) + -> (Type -> Type) -> Type |] blah <- reify ''S return (LitE (StringL (pprint test ++ "\n" ++ pprint blah)))) |