#4969: regression: core-lint failure in agda
---------------------------------+------------------------------------------
Reporter: igloo | Owner:
Type: bug | Status: merge
Priority: high | Milestone: 7.0.2
Component: Compiler | Version: 7.0.1
Keywords: | Testcase: typecheck/should_compile/T4969
Blockedby: | Difficulty:
Os: Unknown/Multiple | Blocking:
Architecture: Unknown/Multiple | Failure: None/Unknown
---------------------------------+------------------------------------------
Changes (by simonpj):
* status: new => merge
* testcase: => typecheck/should_compile/T4969
Comment:
OK. Fixed by
{{{
Mon Feb 21 15:32:39 GMT 2011 [email protected]
* Fix another fundep error (fixes Trac #4969)
If I had a pound for every hour Dimitrios and I have spent
making functional dependencies work right, we'd be rich!
We had stupidly caused a 'wanted' to be rewritten by a 'derived', with
resulting abject failure. As well as fixing the bug, this patch
refactors some more, adds useful assert and comments.
M ./compiler/typecheck/TcCanonical.lhs -24 +24
M ./compiler/typecheck/TcInteract.lhs -136 +173
M ./compiler/typecheck/TcMType.lhs -5 +2
M ./compiler/typecheck/TcSMonad.lhs -14 +10
M ./compiler/typecheck/TcSimplify.lhs -1 +1
M ./compiler/typecheck/TcUnify.lhs -1 +1
}}}
Pls merge.
Simon
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/4969#comment:2>
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
