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-sli

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