#9693: Reloading GHCi with Template Haskell names can panic GHC -------------------------------------+------------------------------------- Reporter: maxs | Owner: (none) Type: bug | Status: new Priority: high | Milestone: Component: Template Haskell | Version: 7.8.3 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: GHC rejects | Unknown/Multiple valid program | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by mgsloan): @RyanGIScott Sure! It was interesting figuring out a good way to test issues that only reproduce due to reload. The approach I've taken seems pretty clean to me and might be useful for other such recompilation / reload tests. https://phabricator.haskell.org/D4926 It turns out that there is indeed still some funky statefulness going on. Fresh load of the modified version works fine, whereas reload after modification yields ` Data constructor ‘X’ used as a type constructor`. Nice that it's not a panic, but not correct and indicates some spooky statefulness. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/9693#comment:9 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler