#12164: Type signatures in patterns not (yet) handled by Template Haskell -------------------------------------+------------------------------------- Reporter: ezyang | Owner: Type: feature request | Status: new Priority: normal | Milestone: Component: Template Haskell | Version: 8.0.1 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Phab:D2490 Wiki Page: | -------------------------------------+------------------------------------- Comment (by Matthew Pickering <matthewtpickering@…>): In [changeset:"b0121209f8fb47a7cb8fc32e10d8e2c06d4502c2/ghc" b0121209/ghc]: {{{ #!CommitTicketReference repository="ghc" revision="b0121209f8fb47a7cb8fc32e10d8e2c06d4502c2" Handle types w/ type variables in signatures inside patterns (DsMeta) The comment indicated that scoping of type variables was a large problem but Simon fixed it in e21e13fb52b99b14770cc5857df57bbcc9c85102. Thus, we can implement repP for signatures very easily in the usual way now. Reviewers: goldfire, simonpj, austin, bgamari Reviewed By: simonpj Subscribers: mpickering, simonpj, thomie Differential Revision: https://phabricator.haskell.org/D2490 GHC Trac Issues: #12164 }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/12164#comment:5> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler