• 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
      (>>) = (*>)
    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
TcSMonad.hs 109 KB