summaryrefslogtreecommitdiff
path: root/testsuite/tests/ghci/scripts/T7872.script
blob: 298cc87dfa3e046a3146f7f6ee197111fcbc0bb3 (plain)
1
2
3
4
5
6
7
:set -XRankNTypes
type T = forall a. a -> a
data D = MkT (forall b. b -> b)
:i T
:i D