test07.tig

   1 /* define valid mutually recursive functions */
   2 let
   3
   4 function do_nothing1(a: int, b: string):int=
   5                 (do_nothing2(a+1);0)
   6
   7 function do_nothing2(d: int):string =
   8                 (do_nothing1(d, "str");" ")
   9
  10 in
  11         do_nothing1(0, "str2")
  12 end
  13