Closed ThierryBleau closed 3 years ago
Separates iteration from core inference logic and handles propagation of id increments. Let bindings now return unit types so tests have been modified to not check type variables but instead act as certificates by checking instantiations.
Separates iteration from core inference logic and handles propagation of id increments. Let bindings now return unit types so tests have been modified to not check type variables but instead act as certificates by checking instantiations.