Re: [GHC] #15781: Extraneous parentheses required to parse kind signature on the RHS of a type synonym

#15781: Extraneous parentheses required to parse kind signature on the RHS of a type synonym -------------------------------------+------------------------------------- Reporter: RyanGlScott | Owner: (none) Type: bug | Status: patch Priority: normal | Milestone: 8.8.1 Component: Compiler | Version: 8.7 (Parser) | Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: GHC rejects | Unknown/Multiple valid program | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Phab:D5245 Wiki Page: | -------------------------------------+------------------------------------- Comment (by Ryan Scott ): In [changeset:"79c641de60f1d6aa6f724d4fc49137ccbe3ab008/ghc" 79c641d/ghc]: {{{ #!CommitTicketReference repository="ghc" revision="79c641de60f1d6aa6f724d4fc49137ccbe3ab008" Fix #15781 by using ktypedocs on type synonym RHSes Summary: This is a follow-up to D5173, which permitted unparenthesized kind signatures in certain places. One place that appeared to be overlooked was the right-hand sides of type synonyms, which this patch addresses by introducing a `ktypedoc` parser production (which is to `ctypdoc` as `ktype` is to `ctype`) and using it in the right place. Test Plan: make test TEST="KindSigs T15781" Reviewers: harpocrates, bgamari Reviewed By: harpocrates Subscribers: rwbarton, mpickering, carter GHC Trac Issues: #15781 Differential Revision: https://phabricator.haskell.org/D5245 }}} -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/15781#comment:2 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler