OCamlFormat is a tool to format OCaml code.
OCamlFormat works by parsing source code using the OCaml compiler's standard parser, deciding where to place comments in the parse tree, and writing the parse tree and comments in a consistent style.
See the source code of OCamlFormat itself and Infer for examples of the styles of code it produces.
Table of Contents
OCamlFormat requires source code that meets the following conditions:
Does not trigger warning 50 (“Unexpected documentation comment.”). For code that triggers warning 50, it is unlikely that ocamlformat will happen to preserve the documentation string attachment.
Parses without any preprocessing, using the version of the standard ocaml (not camlp4) parser used to build ocamlformat. Attributes and extension points should be correctly preserved, but other mechanisms such as camlp4, cppo, etc. will not work.
Is either a module implementation (
.ml), an interface (
.mli) or a sequence of toplevel phrases (
.mlt). dune files in ocaml syntax also work.
Under those conditions, ocamlformat is expected to produce output equivalent to the input. As a safety check in case of bugs, prior to terminating or modifying any input file, ocamlformat enforces the following checks:
The parse trees obtained by parsing the original and formatted files are equal up to some minor normalization (see
The documentation strings, and their attachment, has been preserved (implicit in the parse tree check).
The set of comments in the original and formatted files is the same up to their location.
There is currently no single dominant style for OCaml code, and the code produced by OCamlFormat does not attempt to closely mimic any of the common styles. Instead of familiarity, the focus is on legibility, keeping the common cases reasonably compact while attempting to avoid confusing formatting in corner cases. Improvement is inevitably possible.
There are many ways to format code that are correct in the sense that they parse to equivalent abstract syntax. Which choices OCamlFormat makes are not precisely specified, but some general guidelines that have directed the design are:
Legibility, in the sense of making it as hard as possible for quick visual parsing to give the wrong interpretation, is of highest priority.
Whenever possible, the high-level structure of the code should be obvious by looking only at the left margin, in particular, it should not be necessary to visually jump from left to right hunting for critical keywords/tokens/etc.
All else equal, compact code is preferable, so indentation/white space is not added unless it helps legibility.
Special attention has been given to making some standard syntactic gotchas visually obvious.
When reformatting code, comments should not move around too much, but some movement seems to be unavoidable.
There is a huge space for subjective and personal preferences here, and it would be valuable to explore alternatives by adding configuration options to see which styles projects gravitate to over time. It would be even more interesting to see proposals for changes to the output which are objectively better, as opposed to subjectively different.
A limitation originates from the treatment of comments by the OCaml parser: they are not included in the parse tree itself, but are only available as a separate list. This means that OCamlFormat must decide where to place the comments within the parse tree. It does this based on source locations of code and comments, as well as using a few heuristics such as whether only white space separates a comment and some code.
The full options' documentation is available in [ocamlformat-help.txt] and through
Options can be modified by the means of:
an .ocamlformat configuration file with an
option = VALline
an optional parameter on the command line
[@@@ocamlformat "option=VAL"]attribute in the processed file
[@@ocamlformat "option=VAL"]attribute on an expression in the processed file
.ocamlformat files in the containing and all ancestor directories for each input file are used, as well as the global .ocamlformat file defined in
$XDG_CONFIG_HOME/ocamlformat. The global .ocamlformat file has the lowest priority, then the closer the directory is to the processed file, the higher the priority.
When the option
--disable-outside-project is set, .ocamlformat files outside of the project (including the one in
XDG_CONFIG_HOME) are not read. The project root of an input file is taken to be the nearest ancestor directory that contains a .git or .hg or dune-project file. If no config file is found, formatting is disabled.
Preset profiles set all options, overriding lower priority configuration. A preset profile can be set using the
-p) option. You can pass the option
--profile=<name> on the command line or add
profile = <name> in an .ocamlformat configuration file.
The available profiles are:
defaultsets each option to its default value
compactsets options for a generally compact code style
sparsesets options for a generally sparse code style
janestreetis the profile used at JaneStreet
OCamlFormat can be installed with
opam install ocamlformat
ocamlformat.opam for manual build instructions.
$(opam config var share)/emacs/site-lispto
load-path(as done by
opam user-setup install)
optionally add the following to
C-M-<tab>to the ocamlformat command and install a hook to run ocamlformat when saving:
(add-hook 'tuareg-mode-hook (lambda () (define-key merlin-mode-map (kbd "C-M-<tab>") 'ocamlformat) (add-hook 'before-save-hook 'ocamlformat-before-save)))
be sure the
ocamlformatbinary can be found in PATH
install the Neoformat plugin
OCamlFormat is documented in its man page and through its internal help:
OCamlFormat is influenced by and follows the same basic design as
refmt for Reason, but outputs OCaml instead of Reason.
Support for converting Reason to OCaml is included in the
ocamlformat_reason package, which works by using
refmt to parse Reason into an OCaml parse tree. The Reason converter can be installed using
opam pin add ocamlformat_reason https://github.com/ocaml-ppx/ocamlformat.git
developers mailing list: http://lists.ocaml.org/listinfo/ocamlformat-dev
See CONTRIBUTING for how to help out.
OCamlFormat is MIT-licensed.
>= "1.0.10" & < "2.0.0"
with-test & < "3.0"
with-test & < "1.1.0"
>= "v0.11.0" & < "v0.12"