summaryrefslogtreecommitdiff
path: root/testsuite/tests/ghci/scripts/T10122.script
blob: 778f936ae92a60dadd78bdbe88fd7e02b17e4218 (plain)
1
2
3
4
5
:set -XPolyKinds
data T m a = T (m a)
:k T
:set -fprint-explicit-foralls
:k T