tiger-compiler/tests/type/test14.tig


1
2
3
4
5
6
7
8
9
10
11
12
13

/* error : compare rec with array */

let

        type arrtype = array of int
        type rectype = {name : string, id : int}

        var rec := rectype {name="aname", id=0}
        var arr := arrtype [3] of 0

in
        if rec <> arr then 3 else 4
end