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

blob: 9a85d440efad9ce489006f019b6c658be576b4af (plain)

1
2
3

:set -XGADTs -XConstraintKinds -XTypeApplications
data ECC ctx f a where ECC :: ctx => f a -> ECC ctx f a
:t ECC @() @[] @()