#3484: GHC diverges when proving nonequality of types
------------------------------+---------------------------------------------
Reporter: ryani | Owner:
Type: bug | Status: new
Priority: normal | Milestone:
Component: Compiler | Version: 6.10.4
Severity: normal | Resolution:
Keywords: | Testcase:
Os: Unknown/Multiple | Architecture: Unknown/Multiple
------------------------------+---------------------------------------------
Comment (by chak):
We should probably document this somewhere: we know nothing about the
properties of programs combining type families and rank-n types. It
wouldn't surprise me if some of these programs lead to the type checker
diverging. In other words, solving this problem likely requires some
serious research into type systems combining type families and rank-n
types.
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/3484#comment:1>
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
