diff options
| author | Simon Peyton Jones <simon.peytonjones@gmail.com> | 2022-01-21 13:01:11 +0000 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2022-01-27 02:40:11 -0500 |
| commit | f4ce41863c729f6b993b5e5dd3da69ebc3623327 (patch) | |
| tree | 80780c5a8806a1a421a621528bdf801992714bea /testsuite/tests/runghc | |
| parent | 6e09b3cfdae6f034ee3a6dd52b61853c017b96f1 (diff) | |
| download | haskell-f4ce41863c729f6b993b5e5dd3da69ebc3623327.tar.gz | |
Improve partial signatures
As #20921 showed, with partial signatures, it is helpful to use the
same algorithm (namely findInferredDiff) for
* picking the constraints to retain for the /group/
in Solver.decideQuantification
* picking the contraints to retain for the /individual function/
in Bind.chooseInferredQuantifiers
This is still regrettably declicate, but it's a step forward.
Diffstat (limited to 'testsuite/tests/runghc')
0 files changed, 0 insertions, 0 deletions