New INLINE pragma syntax idea, and some questions

[Bas van Dijk]

On 4 August 2012 15:53, Brandon Simmons <brandon.m.simmons at gmail.com> wrote:
> The only thing that bothers me about this foldl is the presence of z0 xs0, which I think
> are only there on the LHS to indicate to GHC where it should inline.

Are these really needed?

Since GHC only inlines functions which are "fully applied" (where
according to [1] "fully applied" means applied to as many arguments as
appear (syntactically) on the LHS of the function definition)  I think
it's more desirable to remove these arguments (or at least the xs0)
since then the function is more likely to be inlined in cases such as:

sum = foldl (+) 0

[1] http://www.haskell.org/ghc/docs/latest/html/users_guide/pragmas.html#inline-pragma