Detect cycles in type declarations

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

/* error : formals are fewer then actuals */
let
	function g (a:int , b:string):int = a
in
	g(3,"one",5)
end