#4003: tcIfaceGlobal panic building HEAD with 6.12.2
---------------------------------+------------------------------------------
Reporter: simonmar | Owner: igloo
Type: bug | Status: new
Priority: highest | Milestone: 6.12.3
Component: Compiler | Version: 6.12.2
Keywords: | Difficulty:
Os: Unknown/Multiple | Testcase:
Architecture: Unknown/Multiple | Failure: Compile-time crash
---------------------------------+------------------------------------------
Changes (by simonpj):
* owner: => igloo
Comment:
This turned out to be an oversight which happened, I think, when I was
careless when refactoring some code in `TcRnDriver`. We need dictionary
functions from a `hs-boot` file to be available when looking at unfoldings
in interface files.
It is fixed by two patches. One for the HEAD
{{{
Tue May 11 00:50:26 PDT 2010 [email protected]
* Fix Trac #4003: fix the knot-tying in checkHiBootIface
I had incorrectly "optimised" checkHiBootIface so that it forgot
to update the "knot-tied" type environment.
This patch fixes the HEAD
M ./compiler/ghc.mk -7
M ./compiler/typecheck/TcRnDriver.lhs -7 +11}}}
}}}
and one for 6.12:
{{{
Mon May 10 06:56:06 PDT 2010 [email protected]
* Fix Trac #4003: update the knot-tied type environment with boot dfuns
}}}
Ian, I wonder if you might turn your excellent test case into a testsuite
test? I think you'll need separate compilation to show the bug.
Thanks
Simon
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/4003#comment:3>
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
