[commit: ghc] master: Emit wild-card constraints in the right place (76d9156)

[git at git.haskell.org]

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

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

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

commit 76d9156f6446d87e0f859a44959d63c2067fc805
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Mon May 9 11:49:15 2016 +0100

    Emit wild-card constraints in the right place
    
    We were failing to emit wild-card hole constraints altogether
    in the case of pattern bindings.  Reason: it was done in
    tcExtendTyVarEnvFromSig, which isn't called for pattern bindings.
    
    This patch make it work right for both pattern and function
    bindings.  Mainly, there is a call to emitWildCardHolds in
    tcRhs for both PatBind and FunBind.
    
    I also killed off TcExpr.typeSigCtxt.


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

76d9156f6446d87e0f859a44959d63c2067fc805
 compiler/typecheck/TcBinds.hs  | 34 +++++++++++++++++++---------------
 compiler/typecheck/TcExpr.hs   | 11 +++++++----
 compiler/typecheck/TcHsType.hs |  2 +-
 compiler/typecheck/TcType.hs   | 14 +++++++-------
 4 files changed, 34 insertions(+), 27 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 76d9156f6446d87e0f859a44959d63c2067fc805