#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