#13984: Panic when using a TH splice in a do bind pattern -------------------------------------+------------------------------------- Reporter: mbieleck | Owner: (none) Type: bug | Status: patch Priority: high | Milestone: 8.2.1 Component: Compiler | Version: 8.2.1-rc3 Resolution: | Keywords: panic | template-haskell Operating System: Unknown/Multiple | Architecture: Type of failure: Compile-time | Unknown/Multiple crash or panic | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Phab:D3766 Wiki Page: | -------------------------------------+------------------------------------- Comment (by Ben Gamari <ben@…>): In [changeset:"36e8bcba08446dbc4e7532ef9db5517c13977bf9/ghc" 36e8bcba/ghc]: {{{ #!CommitTicketReference repository="ghc" revision="36e8bcba08446dbc4e7532ef9db5517c13977bf9" HsPat: Assume that no spliced patterns are irrefutable This is a conservative assumption which will limit some uses of spliced patterns, but it fixes #13984. Test Plan: Validate Reviewers: RyanGlScott, AaronFriel, austin Reviewed By: RyanGlScott Subscribers: rwbarton, thomie GHC Trac Issues: #13984 Differential Revision: https://phabricator.haskell.org/D3766 }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/13984#comment:8> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler