Re: Rewrite rules

2017-01-16 Thread David Feuer
No. The part in quotes is the *name* of the rewrite rule, which is reported to the user when GHC is called with things like -ddump-rule-rewrites and is otherwise completely ignored. On Jan 16, 2017 4:09 AM, "Erik de Castro Lopo" wrote: Joachim Breitner wrote: > very little. The best one can do

Re: Rewrite rules

2017-01-16 Thread Erik de Castro Lopo
Joachim Breitner wrote: > very little. The best one can do right now is to know enough about Core > and the inliner to predict when things are going to be inlined and when > not, what else can go wrong (wrappers maybe?), add the necessary > controls (`NOINLINE [0]` etc.), and then hope for the bes