tiger-compiler/tests/good/local-vs-global-type.tig


1
2
3
4
5
6
7
8
9
10

/* local types hide global */
let
        type a = int
in
        let
                type a = string
        in
                0
        end
end