subtle inlining problem

[Simon Peyton-Jones]

| > The same thing should work in an instance decl, for the same
| > reason, but I have not tried it recently.   And, assuming it does
| > work, it ought to be documented.  If you check, and send me draft
| > words, I'll add them to the user manual
|
| ok, but i don't undertsand what you mean by "it does work"? should i
| check that without INLINE pragma it's not inlined and with pragma it's
| inlined?

I meant that I'm not 100% sure that an INLINE pragma in an *instance declaration* will cause the method to be inlined.  I think it works, but it'd be worth checking.


| also, that you think about changing implementation to that i implied -
| any function equivalent to inlined function, should be also inlined?

Definitely not.  It'd be a strange special case.  What about
        get = id getInteger
or
        get = id (id getInteger)

Initially these don't look like "equivalent to inlined function" but they are.  What about
        get = [getInteger] !! 1

Perhaps you could say that something magic happens when you, the programmer write x=y, and y has an INLINE pragma... but my instinct is to keep GHC's simple, rule.

Simon