T16767.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/T16767.script

blob: 40d4812fed4b04db9c2675031104b46a151ef68b (plain)

1
2
3

:set -fprint-explicit-foralls -fprint-explicit-kinds -XTypeApplications -XDataKinds
import Data.Proxy
:kind! 'Proxy @_