diff options
| author | Ryan Scott <ryan.gl.scott@gmail.com> | 2020-04-05 12:10:10 -0400 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2020-04-08 16:43:44 -0400 |
| commit | 7802fa17a9a1a0f02fbf95170c13d7a9711a681e (patch) | |
| tree | 6d43a4767833369ac59b1de7cf2841d074aea78a /testsuite/tests/deriving/should_fail | |
| parent | 04b6cf947ea065a210a216cc91f918cc1660d430 (diff) | |
| download | haskell-7802fa17a9a1a0f02fbf95170c13d7a9711a681e.tar.gz | |
Handle promoted data constructors in typeToLHsType correctly
Instead of using `nlHsTyVar`, which hardcodes `NotPromoted`, have
`typeToLHsType` pick between `Promoted` and `NotPromoted` by checking
if a type constructor is promoted using `isPromotedDataCon`.
Fixes #18020.
Diffstat (limited to 'testsuite/tests/deriving/should_fail')
| -rw-r--r-- | testsuite/tests/deriving/should_fail/T15073.stderr | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/testsuite/tests/deriving/should_fail/T15073.stderr b/testsuite/tests/deriving/should_fail/T15073.stderr index d27ff4d216..5c1d99768f 100644 --- a/testsuite/tests/deriving/should_fail/T15073.stderr +++ b/testsuite/tests/deriving/should_fail/T15073.stderr @@ -3,7 +3,7 @@ T15073.hs:8:12: error: • Illegal unboxed tuple type as function argument: (# Foo a #) Perhaps you intended to use UnboxedTuples • In the type signature: - p :: Foo a -> Unit# @GHC.Types.LiftedRep (Foo a) + p :: Foo a -> Unit# @'GHC.Types.LiftedRep (Foo a) When typechecking the code for ‘p’ in a derived instance for ‘P (Foo a)’: To see the code I am typechecking, use -ddump-deriv |