[tiger.ml.git] / compiler / testcases / test18.tig

/* error : definition of recursive functions is interrupted */
let

function do_nothing1(a: int, b: string):int=
		(do_nothing2(a+1);0)

var d:=0

function do_nothing2(d: int):string =
		(do_nothing1(d, "str");" ")

in
	do_nothing1(0, "str2")
end
Commit	Line	Data
	1	/* error : definition of recursive functions is interrupted */
	2	let
	3
	4	function do_nothing1(a: int, b: string):int=
	5	(do_nothing2(a+1);0)
	6
	7	var d:=0
	8
	9	function do_nothing2(d: int):string =
	10	(do_nothing1(d, "str");" ")
	11
	12	in
	13	do_nothing1(0, "str2")
	14	end
	15