type-test.ml

type student = { name: string; id: int };;
type hoge = { name: string; age: int };;
{ name = "hi"; id = 12 };;

(*
# type student = { name: string; id: int };;
type student = { name : string; id : int; }
# type hoge = { name: string; age: int };;
type hoge = { name : string; age : int; }
# { name = "hi"; id = 12 };;
Characters 0-24:
  { name = "hi"; id = 12 };;
  ^^^^^^^^^^^^^^^^^^^^^^^^
Error: The record field label id belongs to the type student
       but is mixed here with labels of type hoge
*)