T18522-ppr.script\polykinds\tests\testsuite - delta/haskell.git - gitlab.haskell.org: ghc/ghc.git

index : delta/haskell.git

gitlab.haskell.org: ghc/ghc.git

summary refs log tree commit diff

path: root/testsuite/tests/polykinds/T18522-ppr.script

blob: e91cc1ce88466c6fe29c8c9b546242c918238021 (plain)

:set -XPolyKinds -XDataKinds -XRankNTypes -XTypeFamilies -fprint-explicit-foralls
import Data.Kind (Type)
type family T :: forall a -> ()
:k T