Irreducible predicates error in Template Haskell

Wed Oct 29 15:58:59 UTC 2014

This fix will not get merged into the 7.8.x development stream, but it is already available in HEAD and will be available in GHC 7.10.x. We try not to make breaking changes (and this is a breaking change) in the middle of a major version.

Richard

On Oct 29, 2014, at 11:27 AM, Sreenidhi Nair <nair.sreenidhi at gmail.com> wrote:

> Hello,
> 
> we were trying to reify a typeclass, which had a ConstraintKind and we hit upon this error: "Can't represent irreducible predicates in Template Haskell:".
> 
> It seems that there is already a ghc bug [ https://ghc.haskell.org/trac/ghc/ticket/7021 ] filed and its status is set as fixed, but there is a comment at the bottom in which the reviewer recommends against merging immediately. Does anybody know when it would get merged in? 
> 
> -- 
> Yours truly,
> Sreenidhi Nair
> _______________________________________________
> Glasgow-haskell-users mailing list
> Glasgow-haskell-users at haskell.org
> http://www.haskell.org/mailman/listinfo/glasgow-haskell-users

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/glasgow-haskell-users/attachments/20141029/ea13c532/attachment.html>