lista_tipi.err

编译原理大作业---tiger编译器 包括semant,translate,mipsframe,regalloc等所有phase 懂的人自会知道

/* This is illegal, since there are two types with the same name
    in the same (consecutive) batch of mutually recursive types.
    See also test47  */
let
    type a = int
    type b = string
    type a = string
in
    0
end