Skip to content
  • Ryan Scott's avatar
    Clean up TH's treatment of unary tuples (or, #16881 part two) · 708c60aa
    Ryan Scott authored and Marge Bot's avatar Marge Bot committed
    !1906 left some loose ends in regards to Template Haskell's treatment
    of unary tuples. This patch ends to tie up those loose ends:
    
    * In addition to having `TupleT 1` produce unary tuples, `TupE [exp]`
      and `TupP [pat]` also now produce unary tuples.
    * I have added various special cases in GHC's pretty-printers to
      ensure that explicit 1-tuples are printed using the `Unit` type.
      See `testsuite/tests/th/T17380`.
    * The GHC 8.10.1 release notes entry has been tidied up a little.
    
    Fixes #16881. Fixes #17371. Fixes #17380.
    708c60aa