#3554: ASSERT failed! file TcMType.lhs line 349
----------------------------------------+-----------------------------------
Reporter: simonmar | Owner: chak
Type: bug | Status: new
Priority: normal | Milestone: 6.12.2
Component: Compiler (Type checker) | Version: 6.10.4
Severity: normal | Resolution:
Keywords: | Difficulty: Unknown
Testcase: T2627b | Os: Unknown/Multiple
Architecture: Unknown/Multiple |
----------------------------------------+-----------------------------------
Comment (by chak):
This is one of the remaining cases, where a type variable is instantiated
twice, due to the current imperfect interaction between the equality
solver and the rest of TcSimplify. This will probably only get fixed once
we have the new implementation of implications constraints.
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/3554#comment:1>
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