Commit 7a0919e5 authored by Simon Peyton Jones's avatar Simon Peyton Jones
Browse files

Test Trac #7872

parent 70f883e0
:set -XRankNTypes
type T = forall a. a -> a
data D = MkT (forall b. b -> b)
:i T
:i D
type T = forall a. a -> a -- Defined at <interactive>:3:6
data D = MkT (forall b. b -> b) -- Defined at <interactive>:4:6
......@@ -147,4 +147,5 @@ test('T7627', normal, ghci_script, ['T7627.script'])
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'])
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