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: 485cd8fa0d025950b2ca1d033035968b325d75f9 (plain)

1
2
3

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