#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 <[email protected]>
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
[email protected]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
