GhciKinds.script\scripts\ghci\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/ghci/scripts/GhciKinds.script

blob: fa9401524c5e52f00a2da1dfb30817cb26f12140 (plain)

:kind Int
:kind Maybe
:l GhciKinds
:kind F [[[Int]]]
:kind! F [[[Int]]]
:kind! F (Maybe Int)
:kind! F (Maybe Bool)

:seti -XRankNTypes
:kind! forall a. F (Maybe a)