diff options
| author | John Leo <leo@halfaya.org> | 2016-12-02 14:33:12 -0500 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2016-12-02 15:29:15 -0500 |
| commit | 2350906bfb496758d81caf3b66b232e1950285e9 (patch) | |
| tree | 5fc018a3fcb3b61844524b05cdfe6f1a544578c2 /testsuite | |
| parent | 895a131f6e56847d9ebca2e9bfe19a3189e49d72 (diff) | |
| download | haskell-2350906bfb496758d81caf3b66b232e1950285e9.tar.gz | |
Maintain in-scope set in deeply_instantiate (fixes #12549).
Maintain in-scope set in deeply_instantiate (Fixes T12549).
lint fixes
Test Plan: validate
Reviewers: simonpj, austin, goldfire, bgamari
Reviewed By: simonpj, bgamari
Subscribers: thomie
Differential Revision: https://phabricator.haskell.org/D2757
GHC Trac Issues: #12549
Diffstat (limited to 'testsuite')
| -rw-r--r-- | testsuite/tests/ghci/should_run/T12549.script | 3 | ||||
| -rw-r--r-- | testsuite/tests/ghci/should_run/T12549.stdout | 3 | ||||
| -rw-r--r-- | testsuite/tests/ghci/should_run/all.T | 1 |
3 files changed, 7 insertions, 0 deletions
diff --git a/testsuite/tests/ghci/should_run/T12549.script b/testsuite/tests/ghci/should_run/T12549.script new file mode 100644 index 0000000000..012517fd6d --- /dev/null +++ b/testsuite/tests/ghci/should_run/T12549.script @@ -0,0 +1,3 @@ +:set -XPolyKinds +class C a where f :: a b c +:t f diff --git a/testsuite/tests/ghci/should_run/T12549.stdout b/testsuite/tests/ghci/should_run/T12549.stdout new file mode 100644 index 0000000000..fd0a45c46b --- /dev/null +++ b/testsuite/tests/ghci/should_run/T12549.stdout @@ -0,0 +1,3 @@ +f :: forall k1 k2 (b :: k1) (a :: k1 -> k2 -> *) (c :: k2). + C a => + a b c diff --git a/testsuite/tests/ghci/should_run/all.T b/testsuite/tests/ghci/should_run/all.T index b6aa2e9da0..3dc05ce31c 100644 --- a/testsuite/tests/ghci/should_run/all.T +++ b/testsuite/tests/ghci/should_run/all.T @@ -26,3 +26,4 @@ test('T11328', just_ghci, ghci_script, ['T11328.script']) test('T11825', just_ghci, ghci_script, ['T11825.script']) test('T12128', just_ghci, ghci_script, ['T12128.script']) test('T12456', just_ghci, ghci_script, ['T12456.script']) +test('T12549', just_ghci, ghci_script, ['T12549.script']) |