diff options
| author | sheaf <sam.derbyshire@gmail.com> | 2023-03-31 15:03:11 +0200 |
|---|---|---|
| committer | Krzysztof Gogolewski <krzysztof.gogolewski@tweag.io> | 2023-04-15 15:14:36 +0200 |
| commit | bad2f8b8aa84241e523577062e2b69090efccb32 (patch) | |
| tree | b89b8b3a61ea5ba3f4f577e2d30ecbae53004d64 /compiler/GHC/HsToCore/Coverage.hs | |
| parent | 0da18eb79540181ae9835e73d52ba47ec79fff6b (diff) | |
| download | haskell-wip/T23153.tar.gz | |
Handle ConcreteTvs in inferResultToTypewip/T23153
inferResultToType was discarding the ir_frr information, which meant
some metavariables ended up being MetaTvs instead of ConcreteTvs.
This function now creates new ConcreteTvs as necessary, instead of
always creating MetaTvs.
Fixes #23154
Diffstat (limited to 'compiler/GHC/HsToCore/Coverage.hs')
0 files changed, 0 insertions, 0 deletions