#13473: Variables in patterns made with QuasiQuotes sometimes don't get bound -------------------------------------+------------------------------------- Reporter: harpocrates | Owner: (none) Type: bug | Status: patch Priority: normal | Milestone: Component: Template Haskell | Version: 8.0.2 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:D3572 Wiki Page: | -------------------------------------+------------------------------------- Comment (by Ben Gamari <ben@…>): In [changeset:"eaf9cc4240019c2e91922ef38ae7236b59d59bdd/ghc" eaf9cc42/ghc]: {{{ #!CommitTicketReference repository="ghc" revision="eaf9cc4240019c2e91922ef38ae7236b59d59bdd" Fix collect_lpat's treatment of HsSplicedPats `collect_lpat` was missing a case for `HsSplicedPat`, which caused incorrect renaming of TH-spliced pattern variables. Fixes #13473. Test Plan: make test TEST=T13473 Reviewers: facundominguez, austin, bgamari Reviewed By: bgamari Subscribers: rwbarton, thomie GHC Trac Issues: #13473 Differential Revision: https://phabricator.haskell.org/D3572 }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/13473#comment:5> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler