Skip to content

Draft: Check unassigned unification vars

Suzanne Soy requested to merge check-unassigned-unificbtion-vars into dev

Check right after inference that there aren't any parts of the program for which inference didn't infer all the types, instead of letting the code generator fail because of that.

Edited by Suzanne Soy

Merge request reports