tiger-compiler/tests/type/field-twice-in-instantiation.tig


1
2
3
4
5
6
7
8

/* Cannot set the same record attribute in instantiaition more than once */

let
  type     dup = { value : int, id: int }
  var      box := dup { value = 51, value = 15 }
in
  box.value
end