test17.tig

   1 /* error: definition of recursive types is interrupted */
   2 let
   3 /* define a tree */
   4 type tree ={key: int, children: treelist}
   5 var d:int :=0
   6 type treelist = {hd: tree, tl: treelist}
   7
   8 in
   9         d
  10 end