[Caml-list] OCaml linting

[Caml-list] OCaml linting

[Edgar Friendly]

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.

Re: [Caml-list] OCaml linting

[Wojciech Meyer]

[-- Attachment #1: Type: text/plain, Size: 948 bytes --]

Hi,

In typerex there is an experimental extension that enables compilation in
background,called flymake.
With Omake, you can specify the -P flag, then it will keep polling for
inode events and rebuild what is needed.

On Saturday, November 17, 2012, 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.
>
> --
> Caml-list mailing list.  Subscription management and archives:
> https://sympa.inria.fr/sympa/arc/caml-list
> Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
> Bug reports: http://caml.inria.fr/bin/caml-bugs
>

[-- Attachment #2: Type: text/html, Size: 1264 bytes --]

Re: [Caml-list] OCaml linting

[Török Edwin]

On 11/17/2012 03:43 AM, Edgar Friendly 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?  

For syntax: camlp4o(.opt), for type errors: build a .cmi file (or .inferred.mli?)

> Does anyone already have a process for this under emacs, using auto-recompile or other plugins?

I don't use emacs, but under Vim you can use the syntastic plugin for syntax checks on file save (via camlp4o).
Or to get type errors set this: let g:syntastic_ocaml_use_ocamlbuild = 1

Best regards,
--Edwin

Re: [Caml-list] OCaml linting

[Philippe Wang]

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