Commit 14b5982a authored by Andrei Borzenkov's avatar Andrei Borzenkov Committed by Marge Bot
Browse files

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.
parent 154889db
Pipeline #61923 failed with stages
in 298 minutes and 40 seconds