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

/* error : different record types */

let
	type rectype1 = {name:string , id:int}
	type rectype2 = {name:string , id:int}

	var rec1: rectype1 := rectype2 {name="Name", id=0}
in
	rec1
end
Commit	Line	Data
38ffcb1f SK	1	/* error : different record types */
	2
	3	let
	4	type rectype1 = {name:string , id:int}
	5	type rectype2 = {name:string , id:int}
	6
	7	var rec1: rectype1 := rectype2 {name="Name", id=0}
	8	in
	9	rec1
	10	end