diff options
| author | Andrei Borzenkov <andreyborzenkov2002@gmail.com> | 2023-01-17 17:22:54 +0400 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2023-01-18 22:26:43 -0500 |
| commit | 14b5982a3aea351e4b01c5804ebd4d4629ba6bab (patch) | |
| tree | ef1fd598914a6625b90c28cc71cb7041c03cc823 /testsuite/driver | |
| parent | 154889dbfbef62ad58a28df4171bf767cc690c2a (diff) | |
| download | haskell-14b5982a3aea351e4b01c5804ebd4d4629ba6bab.tar.gz | |
Fix printing of promoted MkSolo datacon (#22785)
Problem: In 2463df2f, the Solo data constructor was renamed to MkSolo,
and Solo was turned into a pattern synonym for backwards compatibility.
Since pattern synonyms can not be promoted, the old code that pretty-printed
promoted single-element tuples started producing ill-typed code:
t :: Proxy ('Solo Int)
This fails with "Pattern synonym ‘Solo’ used as a type"
The solution is to track the distinction between type constructors and data
constructors more carefully when printing single-element tuples.
Diffstat (limited to 'testsuite/driver')
0 files changed, 0 insertions, 0 deletions