• Herbert Valerio Riedel's avatar
    Make Monad/Applicative instances MRP-friendly · e8ed2136
    Herbert Valerio Riedel authored
    This patch refactors pure/(*>) and return/(>>) in MRP-friendly way, i.e.
    such that the explicit definitions for `return` and `(>>)` match the
    MRP-style default-implementation, i.e.
    
      return = pure
    
    and
    
      (>>) = (*>)
    
    This way, e.g. all `return = pure` definitions can easily be grepped and
    removed in GHC 8.1;
    
    Test Plan: Harbormaster
    
    Reviewers: goldfire, alanz, bgamari, quchen, austin
    
    Reviewed By: quchen, austin
    
    Subscribers: thomie
    
    Differential Revision: https://phabricator.haskell.org/D1312
    e8ed2136
TcFlatten.hs 54.6 KB