diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2018-01-31 15:58:12 +0000 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2018-02-01 10:56:28 +0000 |
| commit | 618a805b0313ce256fa7b8293f851b32913bace5 (patch) | |
| tree | a79e125c5db6791225865b6bde1dbd7939b9e747 /docs/users_guide/using-warnings.rst | |
| parent | ced9fbd3913e1316498961bc389bfb1e141221a1 (diff) | |
| download | haskell-618a805b0313ce256fa7b8293f851b32913bace5.tar.gz | |
Experiment with eliminating the younger tyvar
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.
Diffstat (limited to 'docs/users_guide/using-warnings.rst')
0 files changed, 0 insertions, 0 deletions