diff options
author | Joachim Breitner <mail@joachim-breitner.de> | 2018-08-05 20:56:21 -0400 |
---|---|---|
committer | Joachim Breitner <mail@joachim-breitner.de> | 2018-08-05 20:59:05 -0400 |
commit | 4d91cabcd5e3c603997d9876f6d30204a9b029c6 (patch) | |
tree | a11fedbbfdd1d51a8d966036d79d847f6e52c359 /testsuite/tests/indexed-types/should_compile/all.T | |
parent | f355b72113e646cb3785937f5506ee4c084c127f (diff) | |
download | haskell-4d91cabcd5e3c603997d9876f6d30204a9b029c6.tar.gz |
Allow scoped type variables refer to types
This patch implements GHC proposal 29:
(sorry, URL is too long for the commit message linter)
and fixess #15050.
The change is simple: Just use a different meta variable form.
Test suite and documentation updated.
Differential Revision: https://phabricator.haskell.org/D4980
Diffstat (limited to 'testsuite/tests/indexed-types/should_compile/all.T')
-rw-r--r-- | testsuite/tests/indexed-types/should_compile/all.T | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/testsuite/tests/indexed-types/should_compile/all.T b/testsuite/tests/indexed-types/should_compile/all.T index 035c85d179..11b7bcbc16 100644 --- a/testsuite/tests/indexed-types/should_compile/all.T +++ b/testsuite/tests/indexed-types/should_compile/all.T @@ -280,6 +280,7 @@ test('T14237', normal, compile, ['']) test('T14554', normal, compile, ['']) test('T14680', normal, compile, ['']) test('T15057', normal, compile, ['']) +test('T7786', normal, compile, ['']) test('T15144', normal, compile, ['']) test('T15122', normal, compile, ['']) test('T13777', normal, compile, ['']) @@ -289,4 +290,3 @@ test('T15322', normal, compile, ['']) test('T15322a', normal, compile_fail, ['']) test('T15142', normal, compile, ['']) test('T15352', normal, compile, ['']) - |