OCaml Changelog

• Add a --null argument to suppress the output. This is used to write linters
• Use the new generic ppx driver support of jbuilder

• Add support for company-mode based completion in utop.el (#233)

Features

• Wrap lines in string literals, comments and docstrings
• Improve char escaping to ascii / uniform hexa / utf8 (#73)
• Add support for Pexp_new expressions (#76, @smondet)
• Add support for Pexp_send _ expressions (#72, @smondet)
• Add options to format chars and break strings (#70, @smondet)
• Formatting of %ext on if/while/for/match/try/; (#63, @hcarty)
• Disable formatting with [@@@ocamlformat.disable] (#66, @hcarty)

Formatting improvements

• Improve sequences under if-then-else with unnecessary but safer parens
• Improve optional arguments with type constraints
• Improve let-bound functions with type constraints
• Improve newtype constraints in let-bindings
• Improve placement of exception docstrings

Bug fixes

• Fix missing break hint before comment on sugared []
• Fix formatting of [%ext e1]; e2 (#75, @hcarty)
• Fix missing parens around let exception, let module, for, while under apply
• Fix missing parens under alias patterns
• Fix placement of attributes on extension constructors
• Fix missing parens around unpack patterns
• Fix let-bindings with pattern constraints
• Fix mutually recursive signatures

Features

• Check fatal warnings not only in inplace mode

Documentation

• Improve doc of --no-warn-error
• Mention object language not implemented
• Update documentation of --output

Bug fixes

• Colon instead of arrow before type for GADT constructors with no arguments (@mbouaziz)
• Fix some dropped comments attached to idents
• Fix missing parens around Ppat_alias under Ppat_variant
• Fix module type constraints on functors
• Fix broken record field punning
• Fix broken docstring attachment with multiple docstrings
• Fix missing parens around application operators
• Fix missing parens around Ppat_or under Ppat_variant
• Fix missing/excess parens around Pexp_open under Pexp_apply/Pexp_construct
• Fix duplicated attributes on Pexp_function
• Fix missing parens around Ptyp_package under Pstr_type
• Add '#' to the list of infix operator prefix (@octachron)
• Do not add space between [ and < or > in variant types
• Add a break hint before "constraint" in a type def (@hcarty)

Formatting improvements

• Remove unnecessary parens around Pexp_tuple under Pexp_open
• Improve single-case matches
• Improve constructor arguments
• Remove unnecessary parens around match, etc. with attributes
• Fix missing parens around constraint arg of variant type
• Fix missing parens on left arg of infix list constructor
• Fix missing parens around arrow type args of variant constructors
• Fix missing parens around type of constraints on module exps

Build and packaging

• Separate Format patch into ocamlformat_support package
• Fix test script
• Unbreak build of ocamlformat_reason.ml (@mroch)
• Improve opam installation (JacquesPa)
• Install emacs support via opam package

Features

• Output to stdout if output file omitted

Bug fixes

• Fix Ppat_any value bindings
• Fix missing parens around variant patterns in fun arg
• Fix position of comments attached to end of sugared lists
• Fix missing comments on module names
• Fix package type constraints
• Fix first-class module alias patterns
• Fix first-class module patterns in let bindings
• Fix missing parens around Ptyp_package under Psig_type
• Fix missing "as" in Ptyp_alias formatting (@hcarty)
• Fix let bindings with constraints under 4.06

Formatting improvements

• Improve line breaking of or-patterns
• Improve placement of comments within pattern matches
• Improve clarity of aliased or-patterns with parens
• Improve matches on aliased or-patterns
• Improve infix applications in limbs of if-then-else
• Improve final function arguments following other complex arguments
• Improve consistency of paren spacing after Pexp_fun
• Improve sugar for Pexp_let under Pexp_extension
• Improve sugar for newtype
• Improve first-class module expressions
• Improve indentation when comments are sprinkled through types
• Do not add open line after last binding in a structure

Build and packaging

• Simplify build and packaging, and adopt some common practices
• Add Warnings.Errors argument for < 4.06 compatibility (@hcarty)
• Update base to v0.10.0 (@hcarty)

• Support for standalone documentation pages (.mld files) (#61).
• Display [@@deprecated] attributes as the @deprecated tag (#57).
• Allow each component of OCaml paths to be disambiguated using the kind-identifer syntax (part of #61).
• Support OCaml 4.06.
• Fix spurious leading blank lines in verbatim text (ocaml-doc/octavius#6).

• Fix magic numbers for 4.06 (issue #749, reported by @Fourchaux).

Oops, we went looking but didn't find the changelog for this release 🙈

• 4.06.0 compatibility (#221)

Contributed by @hhugo:

• update Magic Number for 4.06
• fix some compilation warnings

• Fix generation of Migrate_parsetree module.

• Resynchronize with trunk.
• Add a migrating version of Parse module.

Oops, we went looking but didn't find the changelog for this release 🙈

• Resynchronize with trunk. Contributed by Xavier Clerc, @xclerc.

• Add a shallow identity mapper (suggested by Anton Bachin, @aantron).

• fixes related to ppx extensions
• fixed regression on indentation within record types

Oops, we went looking but didn't find the changelog for this release 🙈

• Synchronize with 4.06 AST with trunk.
• Accept --cookie arguments also when run in --as-ppx mode.

Oops, we went looking but didn't find the changelog for this release 🙈

Oops, we went looking but didn't find the changelog for this release 🙈

• Support .opam files
• Add Travis CI tests
• Support the simultaneous publication of multiple packages from the same repo

• fix flag parsing in .merlin (#661)

• Add support for trunk version (as of today...).

• make odoc more noisy when generating html for hidden units
• changed html-deps subcommand behavior: it now expects to be given a directory, not a single odoc file.

• Fix: restore the installation of utop.el (#210, Louis Gesbert)

• Add -implicit-bindings option to automatically bind expressions to names _0, _1 and so on. For example, 3 + 4;; becomes let _0 = 3 + 4;; (#161, #193, Fabian Hemmer)
• Add tab completion for #mod_use (#181, Leonid Rozenberg)
• Mention #help in #utop_help (#190, Fabian Hemmer)
• Add #utop_stash and #utop_save to save the session to a file (#169, #199, Christopher Mcalpine and Fabian Hemmer)
• Add support for reason in the emacs mode (#206, Andrea Richiardi)
• Fix a bug where utop wouldn't apply ppx rewriters when running in emacs (Bug report: #192, fix: #202, Deokhwan Kim)
• Refactor the use of hooks to support the various OCaml emacs mode (#201, Andrea Richiardi)
• Drop support for camlp4/camlp5
• Drop support for OCaml <= 4.01
• Switch the build system to jbuilder
• Resurect UTop_main.interact

• switch to jbuilder

• handle hole in 4.04
• bug fixes in emacs mode
• introduce merlin-imenu

• Driver: add --as-pp and --embed-errors flags.

  --embed-errors causes the driver to embed exceptions raised by rewriters as extension points in the Ast

  --as-pp is a shorthand for: --dump-ast --embed-errors

• Expose more primitives for embedding the driver.

• Fix bug where reset_args functions where not being called.

• Fix "OCaml OCaml" in error messages (contributed by Adrien Guatto).

• Fix findlib predicates:
  • replace omp_driver by ppx_driver
  • replace -custom_ppx by -custom_ppx,-ppx_driver

• Add documentation, examples, etc.

• fixes some cases of comments
• supports new cases of ppx
• fixed cases of unstable indentation within records
• supports local excemtions
• fixed handling of polymorphic methods
• uses cmdliner 1.0.0

• fix Windows build with MSVC (#605).
• fix module level errors escaping

Oops, we went looking but didn't find the changelog for this release 🙈

• reintroduce lazy substitution to fix performance issue
• add "FINDLIB_PATH" directive to .merlin (contributed by Gerd Stolpmann)
• relax arity checks on externals (harmless, requested by Hongbo Zang)
• handle case insensitivity of OS X (fix longstanding bug)
• fix build under Cygwin
• minor cleanup, portability and usability improvements in build system and editor modes

• fix compatibility with 4.04.0+beta1

• fixes on nested try-with and some cases of comments
• better alignment of stand-alone semicolons in records
• improved emacs and vim scripts
• better indentation within extension blocks

• frontend:
  • now all commands can take a context, this reduce the amount of state in the command interpreter. Long term goal is to make protocol stateless
  • merlin now supports customizable "readers": processes responsible for parsing and pretty-printing. Main use-case is Reason, cppo/optcomp support might be added later
• backend:
  • drop support for 4.00 / 4.01
  • support for 4.03 has been added
  • new implementation of type recovery, should diverge less from upstream
  • support for 4.02 was reimplemented to use the same design
  • menhir's fork has been synchronized with upstream, recovery algorithm is completely new
• vim: add support for python3, update to new protocol
• emacs: update to new protocol, bug fixes

• Make ppx_tools dependency optional

• fix compatibility with 4.03.0+beta2

• allow to configure the external editor with UTop.set_external_editor
• add UTop.set_margin_function to allow users to set the margin for the toplevel outcome. It is 80 by default
• better for quoted strings ({|...|})
• add a #pwd directive
• experimental support for running utop in the middle of a program with UTop_main.interact
• fix Async integration (automatic waiting of _ Deferred.t value). The new version is more robust against future change in Async
• fix use of the non-existing replace-in-string function in the emacs mode (Syohei Yoshida)
• fallback to Latin-1 for invalid UTF-8 sequences in the compiler output

• fix compatibility with OCaml 4.03

• backend:

  • improve support for module aliases in completion, locate and short-path
  • change management of flags
  • Cuillère ou Dorade
  • fix grammar for 4.02.3, support attributes on core_types

• emacs & vim: minor fixes

• fix compatibility with findlib 1.5.6

• backend:

  • locate: fix assert failure on first class modules inclusion
  • outline: add support for classes and object types
  • nonrec: enable by default for OCaml >= 4.02.2
  • error reporting: less aggressive filtering on ghost locs
  • finer-grained tracking of usage (values, opened modules, etc)
  • significant improvement in the handling of PPX extensions:
    • fix shell commandline and working directory
    • normalize parsetree locations
    • implement caching of intermediate rewriting
  • merged support for MetaOCaml
  • path to the standard library can now be specified with STDLIB command in .merlin
  • BrowseT: split into Browse_node (OCaml version specific) and Merlin_browse, extract recursion scheme
  • add Jump command, contributed by Tomasz Kołodziejski
  • contextual-commands: optionnally specify the context (file, project) in which each command is interpreted
  • better support for trunk
  • many bugfixes

• documentation:

  • update ARCHITECTURE and PROTOCOL documentations

• emacs:

  • make use of contextual-commands, non backward compatible protocol change
  • new merlin-set-flags command
  • split into multiple files
  • cleanup symbol namespaces:
    • merlin- for user targeted definitions
    • merlin-- for internal definitions,
    • merlin/ for API definitions
  • usability tweaks, notably on error display and navigation
  • general cleanup and bugfixes

• vim:

  • expose custom .merlin loading through buffer variable
  • cleanup and bugfixes, notably process liveness check and restart

• small emacs binding fix
• compatibility with cmdliner 0.9.8

• generic handling of ppx keywords
• much improved vim binding
• changed installation location of vim bindings (to share/ocp-indent/vim/indent) for easier autoload
• don't increase indentation level for sequences of try..with
• support for '[@'
• restore back-alignment of '&&', '||' after 'if' and 'when'
• support for extensible variant types

• Add two-factor authentication support
• Now requires github >= 1.0.0, opam-lib = 1.2.2
• Use the finer lint results from opam-lib
• Fix a terminal corruption bug from Ctrl-C at password prompt
• Improve GitHub API error reporting
• Fix GitHub token file permissions security vulnerability
• Fix GitHub token errors for revoked or unknowable (since 2015/04/20) tokens