tiger-compiler/tests/type/box.tig


1
2
3
4
5
6
7

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