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