[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
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,
nothing about the semantics of rewrite rules in classes/instances.
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Haskell-Cafe