• Simon Peyton Jones's avatar
    Emit wild-card constraints in the right place · 76d9156f
    Simon Peyton Jones authored
    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.
TcBinds.hs 88.1 KB