Commit b663dd2c authored by Simon Peyton Jones's avatar Simon Peyton Jones
Browse files

Test Trac #7873

parent 7a0919e5
:set -XPolyKinds -XRankNTypes -XGADTs
data D1 = MkD1 (forall p (a :: k). p a -> Int)
data D2 = MkD2 (forall p a. p a -> Int)
:i D1
:i D2
data D1 where
MkD1 :: (forall (k :: BOX) (p :: k -> *) (a :: k).
p a -> Int) -> D1
-- Defined at <interactive>:3:6
data D2 where
MkD2 :: (forall (p :: k -> *) (a :: k). p a -> Int) -> D2
-- Defined at <interactive>:4:6
......@@ -148,4 +148,5 @@ test('T7627b', normal, ghci_script, ['T7627b.script'])
test('T7586', normal, ghci_script, ['T7586.script'])
test('T4175', normal, ghci_script, ['T4175.script'])
test('T7872', normal, ghci_script, ['T7872.script'])
test('T7873', normal, ghci_script, ['T7873.script'])
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment