Re: [GHC] #9867: PatternSynonyms + ScopedTypeVariables triggers an internal error

#9867: PatternSynonyms + ScopedTypeVariables triggers an internal error -------------------------------------+------------------------------------- Reporter: antalsz | Owner: cactus Type: bug | Status: merge Priority: normal | Milestone: Component: Compiler (Type | Version: 7.8.3 checker) | Keywords: Resolution: | PatternSynonyms Operating System: Unknown/Multiple | Architecture: Type of failure: Compile-time | Unknown/Multiple crash | Test Case: Blocked By: | patsyn/should_compile/T9867 Related Tickets: | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- Changes (by simonpj): * status: new => merge * testcase: => patsyn/should_compile/T9867 Comment: Fixed by {{{ commit 3ea40e38a7ae03c05cb79485fb04a3f00c632793 Author: Simon Peyton Jones Date: Mon Jan 19 09:06:21 2015 +0000 Fix the 'builder' code for pattern synonyms with type signatures See Note [Type signatures and the builder expression] for the details compiler/typecheck/TcPatSyn.hs | 144 ++++++++++++++++++++++------------------ 1 file changed, 79 insertions(+), 65 deletions(-) }}} and follow up wibble {{{ commit 9a1458266b8fa349c9fb58889825d899a762fa27 Author: Simon Peyton Jones Date: Mon Jan 19 10:20:39 2015 +0000 Add missing argument in Match, a merge bug (apologies) compiler/typecheck/TcPatSyn.hs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) }}} We could consider merging this to 7.10. It isn't huge, but let's do it if it's easy. Simon -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/9867#comment:8 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler