Fixed bug #20454, two problems with TH pprint
This fixes bug #20454 (closed): two small problems with TH pprint.
Moved from blamario/ghc!1 (closed).
This fixes bug #20454 (closed): two small problems with TH pprint.
Moved from blamario/ghc!1 (closed).