#5591: Type constructor variables not injective
---------------------------------------------------------+------------------
Reporter: daniel.is.fischer | Owner:
simonpj
Type: bug | Status:
closed
Priority: normal | Milestone:
7.6.2
Component: Compiler (Type checker) | Version:
7.2.1
Resolution: fixed | Keywords:
Os: Unknown/Multiple | Architecture:
Unknown/Multiple
Failure: None/Unknown | Difficulty:
Unknown
Testcase: indexed-ypes/should_compile/T5591a, T5591b | Blockedby:
Blocking: | Related:
---------------------------------------------------------+------------------
Changes (by simonpj):
* status: new => closed
* testcase: => indexed-ypes/should_compile/T5591a, T5591b
* resolution: => fixed
Comment:
Fixed at last; see #7205. I added both examples as regression tests.
Simon
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/5591#comment:8>
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
