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

/* error : type mismatch */

let 
	type rectype = {name:string , id:int}
	var rec1 := rectype {name="aname", id=0}
in
	rec1.name := 3;
	rec1.id := "" 
end
Commit	Line	Data
	1	/* error : type mismatch */
	2
	3	let
	4	type rectype = {name:string , id:int}
	5	var rec1 := rectype {name="aname", id=0}
	6	in
	7	rec1.name := 3;
	8	rec1.id := ""
	9	end