#13644: overloaded name used in record pattern matching leads to panic! (the 'impossible' happened) in ghc -------------------------------------+------------------------------------- Reporter: pjljvdlaar | Owner: mpickering Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.0.2 Resolution: | Keywords: Operating System: Windows | Architecture: Type of failure: Compile-time | Unknown/Multiple crash or panic | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by mpickering): I put the test up on phab. https://phabricator.haskell.org/D3535 The problem is in TcPat.find_field_ty but I can't see how to cleanly fix it. In the renamer we don't care yet whether a record selector is the right one for the data constructor. When we check in the type checker, all the verify is that the `OccName` of the selector is one of the field labels of the right data constructor. We don't compare `Name`s at all like we should do because of something to do with ORF. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/13644#comment:6 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler