diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2017-06-28 12:38:59 +0100 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2017-06-28 12:38:59 +0100 |
| commit | fae672f647fe00c303d8fb56971563c1a76ad04e (patch) | |
| tree | 5a1a8f38e6be315962ff9e6166a6314fd88f9da9 /docs/users_guide/conf.py | |
| parent | c80920d26f4eef8e87c130412d007628cff7589d (diff) | |
| download | haskell-fae672f647fe00c303d8fb56971563c1a76ad04e.tar.gz | |
Fix constraint solving for forall-types
Trac #13879 showed that when we were trying to solve
(forall z1 (y1::z1). ty1) ~ (forall z2 (y2:z2). ty2)
we'd end up spitting out z1~z2 with no binding site for them.
Those kind equalities need to be inside the implication.
I ended up re-factoring the code for solving forall-equalities.
It's quite nice now.
Diffstat (limited to 'docs/users_guide/conf.py')
0 files changed, 0 insertions, 0 deletions