test28.tig

   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