test28.tig

来自「本设计Tiger语言为源语言」· TIG 代码 · 共 11 行

/* 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