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/typecheck/should_fail/T7175.stderr | |
| 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/typecheck/should_fail/T7175.stderr')
| -rw-r--r-- | testsuite/tests/typecheck/should_fail/T7175.stderr | 18 |
1 files changed, 12 insertions, 6 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’ |