diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2020-05-21 14:23:59 +0100 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2020-05-21 14:23:59 +0100 |
| commit | 8a23efa2ea5807666201888adeb5473f95d67874 (patch) | |
| tree | e4ad6a4f7e205a90f3dec9bfc7aceb64cf2efde1 /compiler/Unique.h | |
| parent | 568d7279a80cf945271f0659f11a94eea3f1433d (diff) | |
| download | haskell-wip/T18213.tar.gz | |
Float representational equaliieswip/T18213
This draft patch (tests and better commit msg to come) improves
the solver by floating all equality constraints out of an
implication that does not allow term-level bindings.
Fixes #18213
Diffstat (limited to 'compiler/Unique.h')
0 files changed, 0 insertions, 0 deletions