• Kim Nguyễn's avatar
    Fix a bug in toplevel definition of types: · 42dda81a
    Kim Nguyễn authored
    when a type such as
    
    type t('a) = (Int,'a)
    
    is introduced, the variables occuring in the definitions are replaced by fresh occurences.
    The variables in the left-hand-side were note renamed accordingly, yielding a type definition:
    
    type t('a_0) = (Int, 'a_1)
    
    when performing type substitutions, none of the occurences of 'a_1 were replaced.
    42dda81a
typer.ml 42.2 KB