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 the
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 w