There is some work to improve the type error messages, although the existing ones are quite useful already: http://ocaml.org/meetings/ocaml/2014/chargueraud-slides.pdf

And syntax errors are improved if you use merlin, for example for this typo it highlights the ';':

  let foo; x = 4

  Syntax error inside `let', expecting ':' or '=' function body