#14646: GHC 8.4.1 regression: rank-n types no longer parenthesized when pretty- printed -------------------------------------+------------------------------------- Reporter: RyanGlScott | Owner: RyanGlScott Type: bug | Status: patch Priority: high | Milestone: 8.4.1 Component: GHC API | Version: 8.4.1-alpha1 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: Incorrect result | Unknown/Multiple at runtime | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Phab:D4298 Wiki Page: | -------------------------------------+------------------------------------- Comment (by Ben Gamari <ben@…>): In [changeset:"f380115cd834ffbe51aca60f5476a51b94cdd413/ghc" f380115/ghc]: {{{ #!CommitTicketReference repository="ghc" revision="f380115cd834ffbe51aca60f5476a51b94cdd413" Parenthesize forall-type args in cvtTypeKind Trac #14646 happened because we forgot to parenthesize `forall` types to the left of an arrow. This simple patch fixes that. Test Plan: make test TEST=T14646 Reviewers: alanz, goldfire, bgamari Reviewed By: alanz Subscribers: rwbarton, thomie, carter GHC Trac Issues: #14646 Differential Revision: https://phabricator.haskell.org/D4298 }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/14646#comment:9> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler