#13644: overloaded name used in record pattern matching leads to panic! (the 'impossible' happened) in ghc -------------------------------------+------------------------------------- Reporter: pjljvdlaar | Owner: (none) Type: bug | Status: patch Priority: normal | Milestone: 8.4.1 Component: Compiler | Version: 8.0.2 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: Compile-time | Test Case: crash or panic | rename/should_fail/T13644 Blocked By: | Blocking: Related Tickets: #13840, #13973, | Differential Rev(s): Phab:D3988 #14087 | Wiki Page: | -------------------------------------+------------------------------------- Changes (by adamgundry): * testcase: => rename/should_fail/T13644 * status: new => patch * differential: => Phab:D3988 Comment: Looking at this again, I realised that the fix to #13847 is entirely analogous. Diff away! @mpickering I probably broke this when implementing ORF, but AFAICS there is no ORF-related reason for us to compare field labels here, because we already know the selector names we want. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/13644#comment:19 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler