• Simon Peyton Jones's avatar
    Kill off redundant SigTv check in occurCheckExpand · 11f9bffb
    Simon Peyton Jones authored
    This patch simply deletes code, the SigTv check in
    occurCheckExpand.  As the new comment says
    In the past we also rejected a SigTv matched with a non-tyvar
    But it is wrong to reject that for Givens;
    and SigTv is in any case handled separately by
       - TcUnify.checkTauTvUpdate (on-the-fly unifier)
       - TcInteract.canSolveByUnification (main constraint solver)
    (cherry picked from commit d25cb61a)
TcType.hs 95 KB