diff options
author | Richard Eisenberg <rae@richarde.dev> | 2020-12-24 15:04:06 -0500 |
---|---|---|
committer | Richard Eisenberg <rae@richarde.dev> | 2020-12-24 15:09:44 -0500 |
commit | e9cc41df3f53db0e1fe39d970278cb630872a762 (patch) | |
tree | 086c73dfbde90f4b07f3c4c15972761dc2e2788c /compiler/GHC/Tc/Utils/Backpack.hs | |
parent | b4508bd6f8b6492d2e74053d7338980109174861 (diff) | |
download | haskell-wip/T17812.tar.gz |
Use mutable update to defer out-of-scope errorswip/T17812
Previously, we let-bound an identifier to use to carry
the erroring evidence for an out-of-scope variable. But
this failed for levity-polymorphic out-of-scope variables,
leading to a panic (#17812). The new plan is to use
a mutable update to just write the erroring expression directly
where it needs to go.
Close #17812.
Test case: typecheck/should_compile/T17812
Diffstat (limited to 'compiler/GHC/Tc/Utils/Backpack.hs')
0 files changed, 0 insertions, 0 deletions