#3823: GHC 6.12 breaks combination of records and mutually recursive modules
---------------------------------+------------------------------------------
Reporter: mboes | Owner: igloo
Type: merge | Status: new
Priority: high | Milestone: 6.12.2
Component: Compiler | Version: 6.12.1
Keywords: | Difficulty:
Os: Unknown/Multiple | Testcase:
Architecture: Unknown/Multiple | Failure: GHC rejects valid program
---------------------------------+------------------------------------------
Changes (by simonpj):
* owner: simonpj => igloo
* type: bug => merge
Comment:
Good catch, thank you! Easily fixed too
{{{
Wed Jan 20 09:42:21 GMT 2010 [email protected]
* Fix Trac #3823, plus warning police in TcRnDriver
The immediate reason for this patch is to fix #3823. This was
rather easy: all the work was being done but I was returning
type_env2 rather than type_env3.
An unused-veriable warning would have shown this up, so I fixed all
the other warnings in TcRnDriver. Doing so showed up at least two
genuine lurking bugs. Hurrah.
M ./compiler/typecheck/TcRnDriver.lhs -54 +60
M ./compiler/typecheck/TcTyClsDecls.lhs -2 +2
}}}
This is worth merging to the 6.12 branch, Ian. And adding a regression
test.
Simon
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/3823#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
