tiger-compiler/tests/bind/test17.tig


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

/* error : definition of recursive types is interrupted */
let
   /* define a tree */
  type tree = {key : int, children : treelist}

  var d : int :=0

  type treelist = {hd : tree, tl : treelist}

in
  d
end