#16127: Panic: piResultTys1 in compiler/types/Type.hs:1022:5 -------------------------------------+------------------------------------- Reporter: _deepfire | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: Component: Compiler (Type | Version: 8.6.1 checker) | Resolution: | Keywords: Operating System: Unknown/Multiple | 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 goldfire): Could this happen without the `-XPolyKinds` disparity? It sounds like "yes". If that's the case, then I agree with your plan. If the only way this happens is the `-XPolyKinds` disparity, then I would want to think about this other option: Brutally require that an .hs-boot file and its regular-module counterpart have exactly the same set of extensions enabled. This could be checked very early on, halting with an appropriate error message before ever looking at declarations. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/16127#comment:10 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler