• Simon Peyton Jones's avatar
    Experiment with eliminating the younger tyvar · 618a805b
    Simon Peyton Jones authored
    This patch is comments only, plus a minor refactor that
    does not change behaviour.
    
    It just records an idea I had for reducing kick-out in the type
    constraint-solver.
    
    See Note [Eliminate younger unification variables] in TcUnify.
    
    Sadly, it didn't improve perf, so I've put it aside, leaving
    some breadcrumbs for future generations of GHC hackers.
    618a805b
Unique.hs 15.4 KB