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

Max Bolingbroke batterseapower at hotmail.com
Tue Feb 15 17:55:21 CET 2011

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.


More information about the Haskell-Cafe mailing list