path: root/tiger-compiler/tests/good/test30.tig

/* synonyms are fine */

let
  type a = array of int
  type b = a

  var arr1 : a := b [10] of 0
in
  arr1[2]
end