• Simon Peyton Jones's avatar
    Kill off redundant SigTv check in occurCheckExpand · 11f9bffb
    Simon Peyton Jones authored and Ben Gamari's avatar Ben Gamari committed
    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