[GHC] #14231: Core lint error "in result of Static argument"

[GHC]

#14231: Core lint error "in result of Static argument"
-------------------------------------+-------------------------------------
        Reporter:  mpickering        |                Owner:  (none)
            Type:  bug               |               Status:  new
        Priority:  normal            |            Milestone:
       Component:  Compiler          |              Version:  8.5
      Resolution:                    |             Keywords:
                                     |  StaticArgumentTransformation
Operating System:  Unknown/Multiple  |         Architecture:
                                     |  Unknown/Multiple
 Type of failure:  None/Unknown      |            Test Case:
      Blocked By:                    |             Blocking:
 Related Tickets:                    |  Differential Rev(s):
       Wiki Page:                    |
-------------------------------------+-------------------------------------

Comment (by osa1):

 Looking at this again; I realized that we don't need any flags to trigger
 some lint warnings in the original program (the `Async` module):

 {{{
 $ ghc-stage2 Async.hs -dcore-lint -fforce-recomp -O0
 [1 of 1] Compiling Async            ( Async.hs, Async.o )
 *** Core Lint warnings : in result of Simplifier ***
 Async.hs:25:1: warning:
     [RHS of bindWith :: forall (m :: * -> *) a b.
                         (forall c. AsyncT m c -> AsyncT m c -> AsyncT m c)
                         -> AsyncT m a -> (a -> AsyncT m b) -> AsyncT m b]
     INLINE binder is (non-rule) loop breaker: bindWith

 *** Core Lint warnings : in result of Simplifier ***
 Async.hs:25:1: warning:
     [RHS of bindWith :: forall (m :: * -> *) a b.
                         (forall c. AsyncT m c -> AsyncT m c -> AsyncT m c)
                         -> AsyncT m a -> (a -> AsyncT m b) -> AsyncT m b]
     INLINE binder is (non-rule) loop breaker: bindWith
 }}}

 This warning disappears if I remove the `INLINE` pragma. Not sure if this
 is a bug (it's a warning, not an error) but maybe useful to know.

-- 
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/14231#comment:7>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler