RE: RULES in binary

2015-07-27 Thread Simon Peyton Jones
Subject: Re: RULES in binary 2015-07-27 10:02 GMT+02:00 Simon Peyton Jones mailto:simo...@microsoft.com>>: Terrific. If a RULE and an inlining “do the same thing”, the RULE is usually to be preferred because it duplicates less code. As I've understood it, I'll still need an (

Re: RULES in binary

2015-07-27 Thread Lennart Kolmodin
lto:kolmo...@gmail.com] > *Sent:* 26 July 2015 21:50 > *To:* Simon Peyton Jones > *Cc:* ghc-devs@haskell.org > *Subject:* Re: RULES in binary > > > > Yes, this has been on my todo for a long time :) > > Essentially all inlinings/rules in binary should be gone through and

Re: RULES in binary

2015-07-27 Thread Lennart Kolmodin
2015-07-26 23:06 GMT+02:00 Joachim Breitner : > Hi, > > Am Sonntag, den 26.07.2015, 22:50 +0200 schrieb Lennart Kolmodin: > > This trick relies so much on that the user's code has been inlined > > properly that it probably very rarely fires in a real application. It > > does wonders in the unreali

RE: RULES in binary

2015-07-27 Thread Simon Peyton Jones
Terrific. If a RULE and an inlining “do the same thing”, the RULE is usually to be preferred because it duplicates less code. Simon From: Lennart Kolmodin [mailto:kolmo...@gmail.com] Sent: 26 July 2015 21:50 To: Simon Peyton Jones Cc: ghc-devs@haskell.org Subject: Re: RULES in binary Yes

Re: RULES in binary

2015-07-26 Thread Joachim Breitner
Hi, Am Sonntag, den 26.07.2015, 22:50 +0200 schrieb Lennart Kolmodin: > This trick relies so much on that the user's code has been inlined > properly that it probably very rarely fires in a real application. It > does wonders in the unrealistic micro benchmark, though :) what is the name of the

Re: RULES in binary

2015-07-26 Thread Lennart Kolmodin
Yes, this has been on my todo for a long time :) Essentially all inlinings/rules in binary should be gone through and confirmed whether they're still needed. I had a look now to get some insight. Since a few versions GHC warns in this way when something might not go the way it was intended, a grea