[commit: ghc] master: Make Monad/Applicative instances MRP-friendly (e8ed213)

git at git.haskell.org git at git.haskell.org
Sat Oct 17 14:49:16 UTC 2015


Repository : ssh://git@git.haskell.org/ghc

On branch  : master
Link       : http://ghc.haskell.org/trac/ghc/changeset/e8ed2136feea75f4676eb6103acd5bb1bfe35281/ghc

>---------------------------------------------------------------

commit e8ed2136feea75f4676eb6103acd5bb1bfe35281
Author: Herbert Valerio Riedel <hvr at gnu.org>
Date:   Sat Oct 17 16:47:51 2015 +0200

    Make Monad/Applicative instances MRP-friendly
    
    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


>---------------------------------------------------------------

e8ed2136feea75f4676eb6103acd5bb1bfe35281
 compiler/basicTypes/UniqSupply.hs           |  4 ++--
 compiler/cmm/CmmLint.hs                     |  4 ++--
 compiler/cmm/PprC.hs                        |  4 ++--
 compiler/codeGen/StgCmmExtCode.hs           |  4 ++--
 compiler/codeGen/StgCmmMonad.hs             |  4 ++--
 compiler/coreSyn/CoreLint.hs                |  4 ++--
 compiler/deSugar/Coverage.hs                |  4 ++--
 compiler/ghci/ByteCodeAsm.hs                |  4 ++--
 compiler/ghci/ByteCodeGen.hs                |  7 ++++---
 compiler/hsSyn/Convert.hs                   |  4 ++--
 compiler/llvmGen/LlvmCodeGen/Base.hs        |  4 ++--
 compiler/main/CmdLineParser.hs              |  8 ++++----
 compiler/main/GhcMonad.hs                   | 10 ++++-----
 compiler/main/HscTypes.hs                   |  4 ++--
 compiler/main/PipelineMonad.hs              |  4 ++--
 compiler/main/TidyPgm.hs                    |  4 ++--
 compiler/nativeGen/AsmCodeGen.hs            |  4 ++--
 compiler/nativeGen/NCGMonad.hs              |  4 ++--
 compiler/nativeGen/RegAlloc/Linear/State.hs |  4 ++--
 compiler/parser/Lexer.x                     |  4 ++--
 compiler/prelude/PrelRules.hs               |  4 ++--
 compiler/profiling/SCCfinal.hs              |  7 ++++---
 compiler/rename/RnPat.hs                    |  4 ++--
 compiler/simplCore/CoreMonad.hs             | 11 +++++-----
 compiler/simplCore/SimplMonad.hs            |  4 ++--
 compiler/specialise/Specialise.hs           |  4 ++--
 compiler/stgSyn/CoreToStg.hs                |  4 ++--
 compiler/stgSyn/StgLint.hs                  |  7 ++++---
 compiler/typecheck/TcFlatten.hs             |  4 ++--
 compiler/typecheck/TcRnTypes.hs             |  4 ++--
 compiler/typecheck/TcSMonad.hs              |  4 ++--
 compiler/typecheck/TcTyDecls.hs             |  4 ++--
 compiler/typecheck/TcType.hs                |  4 ++--
 compiler/types/Unify.hs                     |  4 ++--
 compiler/utils/Exception.hs                 |  3 ++-
 compiler/utils/IOEnv.hs                     |  5 +++--
 compiler/utils/Maybes.hs                    | 32 +++++++++++++++++++----------
 compiler/utils/State.hs                     |  2 +-
 compiler/utils/Stream.hs                    |  4 ++--
 compiler/vectorise/Vectorise/Monad/Base.hs  |  4 ++--
 40 files changed, 113 insertions(+), 99 deletions(-)

Diff suppressed because of size. To see it, use:

    git diff-tree --root --patch-with-stat --no-color --find-copies-harder --ignore-space-at-eol --cc e8ed2136feea75f4676eb6103acd5bb1bfe35281


More information about the ghc-commits mailing list