[Haskell-cafe] rewrite rules to specialize function according to type class?

[Max Bolingbroke]

On 15 February 2011 16:45, Roman Leshchinskiy <rl at cse.unsw.edu.au> wrote:
> Only if foo has an INLINE pragma. Otherwise, GHC uses whatever RHS is
> available when it wants to inline.

Ah, I see! Well yes, in that case my workaround is indeed broken in
the way you describe, and there is no way to repair it because in my
proposal you wouldn't be able to write an INLINE pragma on the actual
default method definition.

Thanks for pointing out my error.

Max