#7288: type inference fails with where clause (RankNTypes, TypeFamilies)
---------------------------------------+------------------------------------
Reporter: agrafix | Owner:
Type: bug | Status: new
Priority: normal | Component: Compiler (Type
checker)
Version: 7.6.1 | Keywords: type inference,
rankntypes, typefamilies
Os: Unknown/Multiple | Architecture: Unknown/Multiple
Failure: GHC rejects valid program | Testcase:
Blockedby: | Blocking:
Related: |
---------------------------------------+------------------------------------
Changes (by dleuschner):
* cc: leuschner@… (added)
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7288#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
