Irreducible predicates error in Template Haskell

Sreenidhi Nair nair.sreenidhi at gmail.com
Wed Oct 29 15:27:21 UTC 2014


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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/glasgow-haskell-users/attachments/20141029/574e0dd2/attachment.html>


More information about the Glasgow-haskell-users mailing list