Thanks for pointing to that ticket. At first after reading through it, I thought my mistake was not using tail call recursion. But I updated the type families and they actually ran slower!
I've gone ahead and reported a bug: http://ghc.haskell.org/trac/ghc/ticket/8095 On Fri, Jul 26, 2013 at 1:31 PM, Jan Stolarek <jan.stola...@p.lodz.pl>wrote: > I don't know much about type families, but I recall this: > http://ghc.haskell.org/trac/ghc/ticket/5321 > > The bug is marked as fixed, but perhaps behaviour you observed shows that > there are other cases > where constraqint solver is slow. I'd consider reporting this as GHC bug. > > Janek >
_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe