lista_tipi.err

来自「编译原理大作业---tiger编译器 包括semant,translate,m」· ERR 代码 · 共 11 行

/* 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