diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2013-05-02 17:05:23 +0100 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2013-05-02 17:05:23 +0100 |
| commit | 7a0919e56fc5fb644da7982b3e52bc8dbd3234e8 (patch) | |
| tree | e713b3906fe68073ba62db2321f3ce549ccd6dbd | |
| parent | 70f883e08cd5a7dcab48a67ea8f2cd5aaee96aa8 (diff) | |
| download | haskell-7a0919e56fc5fb644da7982b3e52bc8dbd3234e8.tar.gz | |
Test Trac #7872
| -rw-r--r-- | testsuite/tests/ghci/scripts/T7872.script | 7 | ||||
| -rw-r--r-- | testsuite/tests/ghci/scripts/T7872.stdout | 2 | ||||
| -rwxr-xr-x | testsuite/tests/ghci/scripts/all.T | 1 |
3 files changed, 10 insertions, 0 deletions
diff --git a/testsuite/tests/ghci/scripts/T7872.script b/testsuite/tests/ghci/scripts/T7872.script new file mode 100644 index 0000000000..298cc87dfa --- /dev/null +++ b/testsuite/tests/ghci/scripts/T7872.script @@ -0,0 +1,7 @@ +:set -XRankNTypes +type T = forall a. a -> a +data D = MkT (forall b. b -> b) +:i T +:i D + + diff --git a/testsuite/tests/ghci/scripts/T7872.stdout b/testsuite/tests/ghci/scripts/T7872.stdout new file mode 100644 index 0000000000..a2f8913307 --- /dev/null +++ b/testsuite/tests/ghci/scripts/T7872.stdout @@ -0,0 +1,2 @@ +type T = forall a. a -> a -- Defined at <interactive>:3:6 +data D = MkT (forall b. b -> b) -- Defined at <interactive>:4:6 diff --git a/testsuite/tests/ghci/scripts/all.T b/testsuite/tests/ghci/scripts/all.T index 861df248da..bfb30e674c 100755 --- a/testsuite/tests/ghci/scripts/all.T +++ b/testsuite/tests/ghci/scripts/all.T @@ -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']) |