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


1
2
3
4
5
6
7
8

/* Cannot declare the same record attribute more than once */

let
  type     dup = { value : int, value : string }
  var      box := dup { value = 51, value = "wow" }
in
  box.value
end