#13819: TypeApplications-related GHC panic -------------------------------------+------------------------------------- Reporter: Iceland_jack | Owner: goldfire Type: bug | Status: merge Priority: high | Milestone: 8.4.1 Component: Compiler (Type | Version: 8.2.1-rc2 checker) | Keywords: Resolution: | TypeApplications Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: Compile-time | Test Case: crash or panic | typecheck/should_fail/T13819 Blocked By: | Blocking: Related Tickets: #13846, #13850 | Differential Rev(s): Phab:D3754 Wiki Page: | -------------------------------------+------------------------------------- Comment (by RyanGlScott): Ben, I take it that commit c2417b87ff59c92fbfa8eceeff2a0d6152b11a47 (`Fix #13819 by refactoring TypeEqOrigin.uo_thing`) isn't going to be merged into 8.2.2? If so, we ought to close this. It's interesting to note that even though that commit hasn't been merged to 8.2.2, the program in this ticket not longer panics on GHC 8.2.2! It turns out that commit cbf472384b5b583c24d1a1a32f3fa58d4f1501b1 (`Small refactor of getRuntimeRep`) //separately// fixed this panic, and that commit was backported to 8.2.2. So that's nice. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/13819#comment:16 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler