diff options
Diffstat (limited to 'testsuite/tests/ghci/scripts/T7873.script')
-rw-r--r-- | testsuite/tests/ghci/scripts/T7873.script | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/testsuite/tests/ghci/scripts/T7873.script b/testsuite/tests/ghci/scripts/T7873.script index 590332665a..404c1f5bda 100644 --- a/testsuite/tests/ghci/scripts/T7873.script +++ b/testsuite/tests/ghci/scripts/T7873.script @@ -1,5 +1,6 @@ -:set -XPolyKinds -XRankNTypes -XGADTs +:set -XPolyKinds -XRankNTypes -XGADTs -XTypeInType data D1 = MkD1 (forall p (a :: k). p a -> Int) data D2 = MkD2 (forall p a. p a -> Int) -:i D1 +data D3 = MkD3 (forall k p (a :: k). p a -> Int) :i D2 +:i D3 |