diff options
Diffstat (limited to 'testsuite/tests/parser/should_compile/DumpRenamedAst.hs')
| -rw-r--r-- | testsuite/tests/parser/should_compile/DumpRenamedAst.hs | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/testsuite/tests/parser/should_compile/DumpRenamedAst.hs b/testsuite/tests/parser/should_compile/DumpRenamedAst.hs index cb23ad5085..bf3e372461 100644 --- a/testsuite/tests/parser/should_compile/DumpRenamedAst.hs +++ b/testsuite/tests/parser/should_compile/DumpRenamedAst.hs @@ -1,4 +1,5 @@ -{-# LANGUAGE DataKinds, PolyKinds, TypeOperators, TypeFamilies #-} +{-# LANGUAGE DataKinds, GADTs, PolyKinds, RankNTypes, TypeOperators, + TypeFamilies, StarIsType #-} module DumpRenamedAst where @@ -8,4 +9,10 @@ type family Length (as :: [k]) :: Peano where Length (a : as) = Succ (Length as) Length '[] = Zero +data family Nat :: k -> k -> * +-- Ensure that the `k` in the type pattern and `k` in the kind signature have +-- the same binding site. +newtype instance Nat (a :: k -> *) :: (k -> *) -> * where + Nat :: (forall xx. f xx -> g xx) -> Nat f g + main = putStrLn "hello" |