search

koka-lang / koka

Koka language compiler and interpreter
http://koka-lang.org
Other
3.26k stars 161 forks source link

Fix incomplete match open inference #376

Closed TimWhiting closed 10 months ago

TimWhiting commented 10 months ago

Fixes #357 and #271

daanx commented 10 months ago

Thanks Tim! This is fixes the topeff for the match as well since it now unifies with the last branch.