#11062: Type families + hs-boot files = panic -------------------------------------+------------------------------------- Reporter: goldfire | Owner: Type: bug | Status: new Priority: high | Milestone: 8.2.1 Component: Compiler | Version: 7.11 Resolution: | Keywords: TypeFamilies | hs-boot Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by ezyang): OK, it's actually pretty obvious what's going on here: family instance consistency gets checked in the renamer but this is too early, because we haven't put enough things in the type environment. The solution is to move the check later in the typechecking process. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/11062#comment:7 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler