path: root/tiger-compiler/tests/good/three-name-spaces.tig

let type a = {a : int}
    var  a := 0
    function a(a : a) : a = a{a = a.a}
in
    a(a{a = a})
end