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

On 15 February 2011 16:45, Roman Leshchinskiy 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