#2796: GHC panic related to associated types
-----------------------------------------------------------------------------------------+
Reporter: FSalad
| Owner: chak
Type: bug
| Status: closed
Priority: normal
| Milestone: 6.12.1
Component: Compiler
| Version: 6.10.1
Severity: normal
| Resolution: fixed
Keywords: associated types, associated type synonyms, type families,
family, panic | Difficulty: Unknown
Testcase:
| Os: Linux
Architecture: Unknown/Multiple
|
-----------------------------------------------------------------------------------------+
Changes (by chak):
* status: new => closed
* resolution: => fixed
Comment:
This works now with the new pure equality solver. To be precise, the
example program fails to compile due to a type error, but it doesn't lead
to a compiler panic anymore. You may want to build a copy of the latest
HEAD (or grab a snapshot) and check that the type error is what you
expected.
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/2796#comment:3>
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