diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2022-05-09 11:19:15 +0100 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2022-05-09 11:30:00 +0100 |
| commit | 18f206614510fb31da9490496a268c1f8cb5c12e (patch) | |
| tree | e50ab43c6fbe5be2d9388f14d2a9a4dc5b504f83 /testsuite/tests/ghci.debugger/scripts/T2950M.hs | |
| parent | 67072c31d8b6ce4f0de79fa52bc3e5cdd5a495c6 (diff) | |
| download | haskell-18f206614510fb31da9490496a268c1f8cb5c12e.tar.gz | |
Fix Constraint vs Type againwip/21530
This patch fixes two bugs exposed in #21530. But it is
NOT the last word. See the discussion in #15918.
The basic plan is this:
* Fix `unifyWanted` in Canonical, by making the FunTy/FunTy
case check the AnonArgFlag. This is an easy win.
* Make `mkCastTy` use a version of `isReflexiveCo` that distinguishes
Constraint from Type. This isn't really "right"; but it's more
right than what we have.
Diffstat (limited to 'testsuite/tests/ghci.debugger/scripts/T2950M.hs')
0 files changed, 0 insertions, 0 deletions