#5792: PolyKinds and recompilation causes internal error ----------------------------------------+----------------------------------- Reporter: reinerp | Owner: simonpj Type: bug | Status: new Priority: high | Milestone: 7.4.2 Component: Compiler (Type checker) | Version: 7.4.1-rc1 Keywords: PolyKinds | Os: Unknown/Multiple Architecture: Unknown/Multiple | Failure: Compile-time crash Difficulty: Unknown | Testcase: Blockedby: | Blocking: Related: | ----------------------------------------+-----------------------------------
Comment(by simonpj): I've fixed the 7.4 branch, thus: {{{ commit bd0ce7d72a62100157355e3bab50bee3c953ee62 Author: Simon Peyton Jones <simo...@microsoft.com> Date: Thu Feb 2 13:21:46 2012 +0000 Fix dependency-analysis of type/class decls Family instances don't define a new type, but we were bogusly pretending they bound the family tycon. The led to incorrect dependencies with strange results; it showed up as Trac #5792. This slightly hacky fix is on the branch only; I am doing a more substantial refactoring on HEAD. compiler/rename/RnSource.lhs | 16 ++++++++++++---- 1 files changed, 12 insertions(+), 4 deletions(-) }}} I'll make a separate fix for HEAD. Simon -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/5792#comment:4> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler _______________________________________________ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs