tiger-compiler/tests/type/test28.tig


1
2
3
4
5
6
7
8
9
10

/* error : different record types */

let
        type rectype1 = {name : string , id : int}
        type rectype2 = {name : string , id : int}

        var rec1 : rectype1 := rectype2 {name="Name", id=0}
in
        rec1
end