Record syntax and INLINE annotations

[Simon Peyton-Jones]

Might be, but Bryan said that his selectors weren't getting inlined at all, which is a bit different perhaps

S

| -----Original Message-----
| From: Isaac Dupree [mailto:isaacdupree at charter.net]
| Sent: 13 June 2008 12:53
| To: Bryan O'Sullivan
| Cc: Simon Peyton-Jones; glasgow-haskell-users at haskell.org
| Subject: Re: Record syntax and INLINE annotations
|
| is it trac bug #2070, http://hackage.haskell.org/trac/ghc/ticket/2070
| (fixed in 6.9?)
|
| -Isaac
|
|
|
| Simon Peyton-Jones wrote:
| > can you give an example?  GHC should inline selectors, whether exported or
| not, whenever it'd help.  They are implicitly defined as INLINE.  Since this
| obviously isn’t working right, I'd like to see the code.  Perhaps you can
| boil it down a little, and submit a ticket?
| >
| > Simon
| >
| > | -----Original Message-----
| > | From: glasgow-haskell-users-bounces at haskell.org [mailto:glasgow-haskell-
| > | users-bounces at haskell.org] On Behalf Of Bryan O'Sullivan
| > | Sent: 13 June 2008 06:38
| > | To: glasgow-haskell-users at haskell.org
| > | Subject: Record syntax and INLINE annotations
| > |
| > | I have a curious situation. I've defined a data type using record
| > | syntax, and my module exports one of the accessor functions. I notice
| > | that GHC is not inlining any of the others, even though they are not
| > | exported.
| > |
| > | Furthermore, while poking around to see if I could bend it to my will,
| > | I found that I couldn't figure out where to place an INLINE annotation
| > | for an accessor function defined via record syntax such that the
| > | compiler would accept it.
| > |
| > | For now, I've dropped back to non-record syntax, my hand-crafted
| > | accessors are being inlined as I'd expect, and I win a few percent in
| > | performance. If anyone could shed a wee bit of light, I'd be most
| > | grateful.
| > | _______________________________________________
| > | Glasgow-haskell-users mailing list
| > | Glasgow-haskell-users at haskell.org
| > | http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
| >
| >
| >
| > ------------------------------------------------------------------------
| >
| > _______________________________________________
| > Glasgow-haskell-users mailing list
| > Glasgow-haskell-users at haskell.org
| > http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
|