diff options
author | Simon Peyton Jones <simonpj@microsoft.com> | 2015-09-11 15:54:39 +0100 |
---|---|---|
committer | Simon Peyton Jones <simonpj@microsoft.com> | 2015-09-11 17:03:16 +0100 |
commit | a870738a3b34d264c63656783e84168a230d7da4 (patch) | |
tree | 4883c98989c3e8c5f3736b4047f4c142ad63834e /testsuite/tests | |
parent | 3a71d78156ed9422b7642bfbd665978ea3de7f89 (diff) | |
download | haskell-a870738a3b34d264c63656783e84168a230d7da4.tar.gz |
Improve rejigConRes (again)
I think this patch finally works around the delicacy in the strictness
of TcTyClsDecls.rejigConRes. See the notes with that function and
Note [Checking GADT return types].
As a result, we fix Trac #10836, and improve Trac #7175
Diffstat (limited to 'testsuite/tests')
-rw-r--r-- | testsuite/tests/typecheck/should_fail/T7175.stderr | 18 | ||||
-rw-r--r-- | testsuite/tests/typecheck/should_fail/all.T | 2 |
2 files changed, 13 insertions, 7 deletions
diff --git a/testsuite/tests/typecheck/should_fail/T7175.stderr b/testsuite/tests/typecheck/should_fail/T7175.stderr index 25e9365f60..57d798fb0a 100644 --- a/testsuite/tests/typecheck/should_fail/T7175.stderr +++ b/testsuite/tests/typecheck/should_fail/T7175.stderr @@ -1,6 +1,12 @@ -
-T7175.hs:8:4: error:
- Data constructor ‘G1C’ returns type ‘F Int’
- instead of an instance of its parent type ‘G1 a’
- In the definition of data constructor ‘G1C’
- In the data type declaration for ‘G1’
+ +T7175.hs:8:4: error: + Data constructor ‘G1C’ returns type ‘F Int’ + instead of an instance of its parent type ‘G1 a’ + In the definition of data constructor ‘G1C’ + In the data type declaration for ‘G1’ + +T7175.hs:11:4: error: + Data constructor ‘G2C’ returns type ‘F Int’ + instead of an instance of its parent type ‘G2 a’ + In the definition of data constructor ‘G2C’ + In the data type declaration for ‘G2’ diff --git a/testsuite/tests/typecheck/should_fail/all.T b/testsuite/tests/typecheck/should_fail/all.T index 66b8a86fdb..31646d6f94 100644 --- a/testsuite/tests/typecheck/should_fail/all.T +++ b/testsuite/tests/typecheck/should_fail/all.T @@ -395,4 +395,4 @@ test('ExpandSynsFail2', normal, compile_fail, ['-fprint-expanded-synonyms']) test('ExpandSynsFail3', normal, compile_fail, ['-fprint-expanded-synonyms']) test('ExpandSynsFail4', normal, compile_fail, ['-fprint-expanded-synonyms']) test('T10698', expect_broken(10698), compile_fail, ['']) -test('T10836', expect_broken(10836), compile_fail, ['']) +test('T10836', normal, compile_fail, ['']) |