diff options
| author | Krzysztof Gogolewski <krzysztof.gogolewski@tweag.io> | 2020-12-17 02:36:31 +0100 |
|---|---|---|
| committer | Krzysztof Gogolewski <krzysztof.gogolewski@tweag.io> | 2021-01-22 20:31:44 +0100 |
| commit | 9387c263aa844bc57cdeb0b989cd412fb6cc5308 (patch) | |
| tree | cc41e65f21aa3309ad2f24021be9e819bcd0e100 /rts | |
| parent | db497d5fb2571e0ab78858dbc124e88523b444f6 (diff) | |
| download | haskell-wip/linear-backports-9.0.tar.gz | |
Improve inference with linear typeswip/linear-backports-9.0
This fixes test Linear14. The code in Unify.hs was always using
multiplicity Many instead of a new metavariable.
(cherry picked from commit 65721691ce9c4107d1cf84ad131bf167a9e42a7d)
Diffstat (limited to 'rts')
0 files changed, 0 insertions, 0 deletions