[commit: ghc] ghc-8.0: Add asserts to other substitution functions (0f606fa)

[git at git.haskell.org]

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

On branch  : ghc-8.0
Link       : http://ghc.haskell.org/trac/ghc/changeset/0f606fa8ca330ad2efd9f1d093805d1e38bf1f5f/ghc

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

commit 0f606fa8ca330ad2efd9f1d093805d1e38bf1f5f
Author: Bartosz Nitka <niteria at gmail.com>
Date:   Wed Jan 27 08:37:30 2016 -0800

    Add asserts to other substitution functions
    
    This adds asserts to `substTys`, `substCo` and `substCos` in
    the same spirit as already existing asserts on `substTy`, protecting
    every possible entry point to `subst_ty` and `subst_co`.
    
    I've replaced the violators with unchecked versions.
    
    Test Plan: ./validate --slow
    
    Reviewers: simonpj, goldfire, austin, bgamari
    
    Subscribers: thomie
    
    Differential Revision: https://phabricator.haskell.org/D1862
    
    GHC Trac Issues: #11371
    
    (cherry picked from commit bb956eb8d8774613c1e311655f1359a91a84765b)


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

0f606fa8ca330ad2efd9f1d093805d1e38bf1f5f
 compiler/basicTypes/MkId.hs    |   2 +-
 compiler/coreSyn/CoreLint.hs   |   2 +-
 compiler/coreSyn/CoreUtils.hs  |   2 +-
 compiler/deSugar/DsExpr.hs     |   2 +-
 compiler/typecheck/FunDeps.hs  |   2 +-
 compiler/typecheck/Inst.hs     |  10 +-
 compiler/typecheck/TcExpr.hs   |   6 +-
 compiler/typecheck/TcSMonad.hs |   2 +-
 compiler/typecheck/TcType.hs   |   5 +-
 compiler/types/Coercion.hs     |   6 +-
 compiler/types/OptCoercion.hs  |   2 +-
 compiler/types/TyCoRep.hs      | 232 +++++++++++++++++++++++++++++++++--------
 compiler/types/Type.hs         |  17 +--
 13 files changed, 220 insertions(+), 70 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 0f606fa8ca330ad2efd9f1d093805d1e38bf1f5f