diff options
author | Richard Eisenberg <rae@richarde.dev> | 2021-01-05 22:40:53 -0500 |
---|---|---|
committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2021-01-23 15:29:58 -0500 |
commit | 8fd855f09db0090df74a2e35eace7da973f62c86 (patch) | |
tree | d40af8ffa28d1b05411869aa1a972091d3eca07c /includes | |
parent | 420ef55a0d28a177fab981655a1c44291b441382 (diff) | |
download | haskell-8fd855f09db0090df74a2e35eace7da973f62c86.tar.gz |
Make matchableGivens more reliably correct.
This has two fixes:
1. Take TyVarTvs into account in matchableGivens. This
fixes #19106.
2. Don't allow unifying alpha ~ Maybe alpha. This fixes
#19107.
This patch also removes a redundant Note and redirects
references to a better replacement.
Also some refactoring/improvements around the BindFun
in the pure unifier, which now can take the RHS type
into account.
Close #19106.
Close #19107.
Test case: partial-sigs/should_compile/T19106,
typecheck/should_compile/T19107
Diffstat (limited to 'includes')
0 files changed, 0 insertions, 0 deletions