#2157: Equality Constraints with Type Families
-------------------------------------+--------------------------------------
Reporter: hpacheco | Owner: chak
Type: feature request | Status: closed
Priority: normal | Milestone: 6.10 branch
Component: Compiler (Type checker) | Version: 6.9
Severity: normal | Resolution: fixed
Keywords: | Difficulty: Unknown
Testcase: | Architecture: Multiple
Os: Multiple |
-------------------------------------+--------------------------------------
Changes (by chak):
* status: new => closed
* resolution: => fixed
Comment:
I fixed the checking of rhss of type family instances. Otherwise, I don't
think there is anything that we can do about this; hence, I close the
ticket.
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/2157#comment:15>
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