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

blob: 3cec1d348dba46f30e428c6e73890b0d819bf96d (plain)

1
2
3

:set -XPolyKinds
data Proxy1 k (a :: k) = Proxy1
:kind Proxy1