diff options
| author | Ryan Scott <ryan.gl.scott@gmail.com> | 2017-12-20 19:25:37 -0500 |
|---|---|---|
| committer | Ryan Scott <ryan.gl.scott@gmail.com> | 2017-12-20 19:25:38 -0500 |
| commit | 9cb289abc582c9eb8337a2621baf58e35feeff46 (patch) | |
| tree | 873c348f3666bf35bb6e4e632c40ad6669a9de15 /testsuite/tests/deriving | |
| parent | 9caf40e9d7233a2a6e78a0c4f2d2f13acbf804dd (diff) | |
| download | haskell-9cb289abc582c9eb8337a2621baf58e35feeff46.tar.gz | |
Remove hack put in place for #12512
Summary:
Previously, I added an ad hoc check for unboxed tuples and
sums in standalone-derived instances to fix #12512, under the
pretense that polymorphism over `UnboxedTupleRep` and
`UnboxedSumRep` was a lie. But that is no longer the case, and so
this ad hoc check can be removed entirely. Less code, and easier to
understand.
Test Plan: make test TEST=T12512
Reviewers: bgamari
Reviewed By: bgamari
Subscribers: rwbarton, thomie, carter
Differential Revision: https://phabricator.haskell.org/D4271
Diffstat (limited to 'testsuite/tests/deriving')
| -rw-r--r-- | testsuite/tests/deriving/should_fail/T12512.stderr | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/testsuite/tests/deriving/should_fail/T12512.stderr b/testsuite/tests/deriving/should_fail/T12512.stderr index a62cda6b99..78c49f4233 100644 --- a/testsuite/tests/deriving/should_fail/T12512.stderr +++ b/testsuite/tests/deriving/should_fail/T12512.stderr @@ -1,10 +1,12 @@ T12512.hs:10:1: error: • Can't make a derived instance of ‘Wat1 (# a, b #)’: - The last argument of the instance cannot be an unboxed tuple + ‘Wat1’ is not a stock derivable class (Eq, Show, etc.) + Try enabling DeriveAnyClass • In the stand-alone deriving instance for ‘Wat1 (# a, b #)’ T12512.hs:13:1: error: • Can't make a derived instance of ‘Wat2 (# a | b #)’: - The last argument of the instance cannot be an unboxed sum + ‘Wat2’ is not a stock derivable class (Eq, Show, etc.) + Try enabling DeriveAnyClass • In the stand-alone deriving instance for ‘Wat2 (# a | b #)’ |