29 Dec
2016
29 Dec
'16
9:50 a.m.
On December 28, 2016 7:27:20 PM EST, Conal Elliott
Hi, George. Yes, please do add a task, hopefully to serve as a conversation anchor until the issues and path forward are clearer. From my perspective, class methods are among the most natural and useful candidates for rewrite rules, since they tend to have associated laws, many (but not all) of which are helpful in optimization. The alternative I know (and am using) is fairly inconvenient: replicating entire APIs just in order to delay inlining long enough to apply rules.
Indeed, we could eliminate several hundred lines of boilerplate in GHC if we could lift this restriction. Cheers, - Ben