tiger-compiler/tests/type/test23.tig


1
2
3
4
5
6
7
8
9

/* error : type mismatch */

let
        type rectype = {name : string , id : int}
        var rec1 := rectype {name="aname", id=0}
in
        rec1.name := 3;
        rec1.id := ""
end