[GHC] #11283: PatternSynonms and DisambiguateRecordFields causes panic
#11283: PatternSynonms and DisambiguateRecordFields causes panic -------------------------------------+------------------------------------- Reporter: adamgundry | Owner: adamgundry Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.11 Keywords: | Operating System: Unknown/Multiple PatternSynonyms | Architecture: | Type of failure: Compile-time Unknown/Multiple | crash Test Case: | Blocked By: Blocking: | Related Tickets: #9975 Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- The following module causes a panic in HEAD: {{{#!hs {-# LANGUAGE PatternSynonyms, DisambiguateRecordFields #-} data P a = MkP a pattern S{x} = MkP x e = S{x = 3} }}} {{{ ghc-stage2: panic! (the 'impossible' happened) (GHC version 7.11.20151223 for x86_64-unknown-linux): find_tycon S [S pattern synonym defined at PatSynBug.hs:3:1] }}} This is essentially the same bug as #9975; for some reason it became slightly harder to tickle. Fix incoming. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11283> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#11283: PatternSynonms and DisambiguateRecordFields causes panic -------------------------------------+------------------------------------- Reporter: adamgundry | Owner: adamgundry Type: bug | Status: patch Priority: normal | Milestone: Component: Compiler | Version: 7.11 Resolution: | Keywords: | PatternSynonyms Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: Compile-time | Test Case: crash | patsyn/should_compile/T11283 Blocked By: | Blocking: Related Tickets: #9975 | Differential Rev(s): Phab:D1695 Wiki Page: | -------------------------------------+------------------------------------- Changes (by adamgundry): * status: new => patch * testcase: => patsyn/should_compile/T11283 * differential: => Phab:D1695 -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11283#comment:1> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#11283: PatternSynonms and DisambiguateRecordFields causes panic -------------------------------------+------------------------------------- Reporter: adamgundry | Owner: adamgundry Type: bug | Status: patch Priority: normal | Milestone: Component: Compiler | Version: 7.11 Resolution: | Keywords: | PatternSynonyms Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: Compile-time | Test Case: crash | patsyn/should_compile/T11283 Blocked By: | Blocking: Related Tickets: #9975 | Differential Rev(s): Phab:D1695 Wiki Page: | -------------------------------------+------------------------------------- Comment (by Ben Gamari <ben@…>): In [changeset:"4f69203dd7892d3640e871c5914b7ee2be5f5dff/ghc" 4f69203d/ghc]: {{{ #!CommitTicketReference repository="ghc" revision="4f69203dd7892d3640e871c5914b7ee2be5f5dff" Fix panic when using pattern synonyms with DisambiguateRecordFields This fixes a `find_tycon` panic when constructing a record pattern synonym when `DisambiguateRecordFields` (turned on by `RecordWildCards`) is enabled. The handling of record wild cards in such constructions isn't completely satisfactory, but doing better will require the `Parent` type to be more informative, as I'll explain on #11228. Test Plan: New test patsyn/should_compile/T11283.hs Reviewers: mpickering, austin, bgamari Reviewed By: bgamari Subscribers: thomie Differential Revision: https://phabricator.haskell.org/D1695 GHC Trac Issues: #11283 }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11283#comment:2> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#11283: PatternSynonms and DisambiguateRecordFields causes panic -------------------------------------+------------------------------------- Reporter: adamgundry | Owner: adamgundry Type: bug | Status: closed Priority: normal | Milestone: Component: Compiler | Version: 7.11 Resolution: fixed | Keywords: | PatternSynonyms Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: Compile-time | Test Case: crash | patsyn/should_compile/T11283 Blocked By: | Blocking: Related Tickets: #9975 | Differential Rev(s): Phab:D1695 Wiki Page: | -------------------------------------+------------------------------------- Changes (by bgamari): * status: patch => closed * resolution: => fixed -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11283#comment:3> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
participants (1)
-
GHC