-
Kim Nguyễn authored
- Part of the typechecking code was using the monomorphics subtyping function instead of the tallying (when checking the body of a function) - The function Var.gen that was generating new versions of typed variable names was not properly incrementing its internal counter, thus generating the same name for two distinct variables.
f65de6e8