path: root/tiger-compiler/tests/type/test31.tig

/* error : type constraint and init value differ */
let
        var a : int := " "
in
        a
end