Skip to content
Snippets Groups Projects
Commit 65721691 authored by Krzysztof Gogolewski's avatar Krzysztof Gogolewski Committed by Marge Bot
Browse files

Improve inference with linear types 

This fixes test Linear14. The code in Unify.hs was always using
multiplicity Many instead of a new metavariable.
parent e84b02ab
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment