Re: [Caml-list] OCaml linting

[Philippe Wang <mail@philippewang.info>]

On Sat, Nov 17, 2012 at 2:43 AM, Edgar Friendly <thelema314@gmail.com> wrote:
> I'm playing with Sublime Text 2, and find it has an interesting plugin to do
> active linting of a program under development.  What's the set of compiler
> options that will produce warnings/errors the quickest, for using ocamlc to
> quickly check for syntax and maybe even type errors in a partial program?
> Does anyone already have a process for this under emacs, using
> auto-recompile or other plugins?
>
> Thanks,
> E.

I use ocamlc -i (or ocamlopt -i) so that it type-checks and prints the
interface.
If you have several files (hence there are dependancies especially for
interfaces), as said by Török Edwin, you should generate .cmi files.
If you have an .mli file, ocamlc -c can generate the corresponding .cmi file.
If you don't have an .mli file, you can either generate it (with
ocamlc -i) or produce the .cmi file directly from the .ml file (ocamlc
-c or ocamlc -c).

If ocamlc -i takes time, I believe it means that you have either a
super large .ml file, or you have expressions that take time to
type-check.

Cheers,

-- 
Philippe Wang
   mail@philippewang.info