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

José Pedro Magalhães jpm at cs.uu.nl
Tue Feb 15 11:54:42 CET 2011


Hello,

2011/2/15 Simon Peyton-Jones <simonpj at microsoft.com>

>
> but currently any pragmas in a class decl are treated as attaching to the
> *default method*, not to the method selector:
>
>
Thanks for this clarification, I had wondered about this for a while. I
think it would also be nice to mention this in the user's guide; currently,
http://www.haskell.org/ghc/docs/latest/html/users_guide/rewrite-rules.htmlsays
nothing about the semantics of rewrite rules in classes/instances.


Cheers,
Pedro
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20110215/6c436a21/attachment.htm>


More information about the Haskell-Cafe mailing list