• Kim Nguyễn's avatar
    Fixed a bugs relating to polymorphic functions : · f65de6e8
    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.