I *think* we found our answer here: https://github.com/ghc/ghc/blob/2db18b8135335da2da9918b722699df684097be9/com... On Tue, Jan 5, 2016 at 9:39 PM, Conal Elliott wrote:

Sorry for the editing error. I meant "Did something about change with ...".

On Tue, Jan 5, 2016 at 9:38 PM, Conal Elliott wrote:

...

Did something about change with method inlining between GHC 7.8.2 and 7.10.3? I don't mean methods attached to instances, but rather the method name itself, which I understand is defined as simple field accessors into a dictionary. I do inlining indirectly via HERMIT, and the method names are no longer successfully inlining to the accessors. The dictionaries themselves inline fine, as do field accessors for algebraic types with named fields.

-- Conal

_______________________________________________ ghc-devs mailing list ghc-devs@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs

I don't know that I can give an example, because I'm using the GHC API indirectly, via HERMIT. Andrew Farmer noticed that the dictionary accessors have special rules rather than unfoldings, and he was able to extend HERMIT to do the equivalent of applying those rules. It's working fine, and the supporting HERMIT code is reasonably simple. Cheers, - Conal On Wed, Jan 6, 2016 at 1:25 AM, Simon Peyton Jones wrote:

Quite possibly. Maybe you can give a tiny concrete example?

*From:* ghc-devs [mailto:ghc-devs-bounces@haskell.org] *On Behalf Of *Conal Elliott *Sent:* 06 January 2016 05:38 *To:* ghc-devs@haskell.org *Subject:* Inlining of methods (dictionary accessors) in GHC 7.10?

Did something about change with method inlining between GHC 7.8.2 and 7.10.3? I don't mean methods attached to instances, but rather the method name itself, which I understand is defined as simple field accessors into a dictionary. I do inlining indirectly via HERMIT, and the method names are no longer successfully inlining to the accessors. The dictionaries themselves inline fine, as do field accessors for algebraic types with named fields.

-- Conal