[GHC] #9797: Investigate rewriting `>>=` to `*>` or `>>` for appropriate types

[GHC]

#9797: Investigate rewriting `>>=` to `*>` or `>>` for appropriate types
-------------------------------------+-------------------------------------
              Reporter:  dfeuer      |            Owner:  dfeuer
                  Type:  task        |           Status:  new
              Priority:  normal      |        Milestone:  7.10.1
             Component:  Core        |          Version:  7.9
  Libraries                          |         Keywords:
            Resolution:              |     Architecture:  Unknown/Multiple
      Operating System:              |       Difficulty:  Unknown
  Unknown/Multiple                   |       Blocked By:
       Type of failure:  Runtime     |  Related Tickets:
  performance bug                    |
             Test Case:              |
              Blocking:              |
Differential Revisions:              |
-------------------------------------+-------------------------------------

Comment (by dfeuer):

 Replying to [comment:1 ekmett]:
 > The danger with this proposal of course occurs when users have
 >
 > {{{
 > m >> n = m >>= \_ -> n
 > }}}

 There is no danger, because the rules would only apply to specified types.
 The main question is how likely it is that we'll be able to work around
 inlining in various situations.

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