type a = {id : string}type b = {id : string} let get_id (a : a) = a.id let b : b = {id = "test"}let test = get_id b
Standard input is empty
File "prog.ml", line 7, characters 18-19: Error: This expression has type b but an expression was expected of type a
Standard output is empty
The brand new service which powers Ideone!
Widget for compiling and running the source code in a web browser!