diff options
| author | Krzysztof Gogolewski <krzysztof.gogolewski@tweag.io> | 2020-12-17 02:36:31 +0100 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2020-12-20 14:14:50 -0500 |
| commit | 65721691ce9c4107d1cf84ad131bf167a9e42a7d (patch) | |
| tree | 52524a8c7f639fb8aa6c24e864e50968af08779a /rts/PrimOps.cmm | |
| parent | e84b02ab0f930e9dd5202fa4392490611dadfbb3 (diff) | |
| download | haskell-65721691ce9c4107d1cf84ad131bf167a9e42a7d.tar.gz | |
Improve inference with linear types
This fixes test Linear14. The code in Unify.hs was always using
multiplicity Many instead of a new metavariable.
Diffstat (limited to 'rts/PrimOps.cmm')
0 files changed, 0 insertions, 0 deletions