OCaml Changelog

• Fix location in parse error reporting (#257, @pitag-ha)

• Fix location in parse error reporting (#256, @pitag-ha)

Added

• Add a new dune-gen subcommand that generates testing code for Dune to build and run with the new mdx stanza. (#305, @voodoos)

Fixes

• Switch verbosity from 1 to 0. This is the same default that merlin uses. The old value for verbosity (#433)

• Get fresh diagnostics (warning and error messages) on a file save (#438)

  Note: If you want the fresh diagnostics to take into account changes in other files, you likely need to rebuild your project. An easy way to get automatic rebuilds is to run dune in a watching mode, e.g.,[dune build --watch].

Features

• Code action to annotate a value with its type (#397)

Fixes

• Fix interface/implementation switching on Windows (#427)

• Correctly parse project paths with spaces and other special characters that must be escaped.

• Print types with -short-paths even if the project wasn't built yet

• merlin binary
  • external configuration reading:
    • use relative paths to communicate with Dune when possible. This solves issues related to symlinks on Unix and improve Windows support (#1271, fixes #1288)
    • make the workdir configuration value when using the dune ocaml-merlin configuration provider the same as when using dot-merlin-reader so that ppxes behaves in the same way as before (#1284, fixes ocaml/dune#4479, discussion in #1292)
  • destruct:
    • improve prefixing of generated constructors in Destruct by filtering opened modules (#1277)
    • make the destruct command more resilient to ill-typed expressions and when called without nodes (#1304, fixes #1300)
  • reintroduce some record recovery and improve completion (#1276)
  • introduce a new AST node for holes (_), allow correct typing of these holes and add a new holes command that returns the locations of all holes in the current file along with their types (#1242, #1289)
  • Mppx: don't restore cookies after invocation. Ppx are invoked only once so there is no need to manage cookies. This small change should increase performance and should not change any other behavior (#1309)
  • Windows: system command variant: do not open a window console when launching a ppx (#1270, fixes #714)
  • fix same file documentation bug (#1265 by @ulugbekna, fixes #1261)
• editor modes
  • vim: Add MerlinNextHole and MerlinPreviousHole commands to navigate between holes. Jump to the first hole after destruct (#1287, #1303)
  • emacs: Add merlin-next-hole and merlin-previous-hole commands to navigate holes. Jump to the first hole after calling destruct. (#1291)
  • emacs: modernization of the elisp code and conformance with coding guidelines (#1247, #1310 by Steve Purcell )
  • vim & emacs : new client-side "merlin use package" commands, restoring previous behavior (#1272, fixes #1191)
• test suite
  • cover constructor disambiguation and record fields (#1276)
  • cover the new holes command and AST node (#1242, #1289)
  • cover the document fix (#1265, #1315)

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

Bug fixes

• Fix extraneous parenthesis after let open with closing-on-separate-line (#1612, @Julow)
• Add missing break between polytype quantification and arrow-type body (#1615, @gpetiot)

Changes

• Use dune instrumentation backend for bisect_ppx (#1550, @tmattio)
• Format objects and classes consistently with structure and signature items (#1569, @bikallem)

New features

• Expose a RPC interface through a new binary ocamlformat-rpc and a new library ocamlformat-rpc-lib (#1586, @gpetiot, @voodoos)

• Support 4.12 and drop support for all earlier versions

• Update to the latest version of merlin

• Fixed absence of executable bit for installed .cmxs (#4149, fixes #4148, @bobot)

• Fix a race in Dune cache. It was particularly easy to hit this race when using the cache on Windows (#4406, fixes #4167, @snowleopard)

Fixes

• Backport fixes from merlin (#382, #383)

• Encode request & notification params in a list. This is required by the spec. (#351)

• Make patdiff show refined diffs (#4257, fixes #4254, @hakuch)

• Fixed a bug that could result in needless recompilation under Windows due to case differences in the result of Sys.getcwd (observed under emacs). (#3966, @nojb).

• Restore compatibility with Coq < 8.10 for coq-lang < 0.3 , document that (using coq 0.3) does require Coq 8.10 at least (#4224, fixes #4142, @ejgallego)

• Add a META rule for compiler-libs.native-toplevel (#4175, @altgr)

• No longer call chmod on symbolic links (fixes #4195, @dannywillems)

• Have dune communicate the location of the standard library directory to merlin (#4211, fixes #4188, @nojb)

• Workaround incorrect exception raised by Unix.utimes (OCaml PR#8857) in Path.touch on Windows. This fixes dune cache in direct mode on Windows. (#4223, @dra27)

• dune ocaml-merlin is now able to provide configuration for source files in the _build directory. (#4274, @voodoos)

• Automatically delete left-over Merlin files when rebuilding for the first time a project previously built with Dune <= 2.7. (#4261, @voodoos, @aalekseyev)

• Fix ppx.exe being compiled for the wrong target when cross-compiling (#3751, fixes #3698, @toots)

• dune top correctly escapes the generated toplevel directives, and make it easier for dune top to locate C stubs associated to concerned libraries. (#4242, fixes #4231, @nojb)

• Do not pass include directories containing native objects when compiling bytecode (#4200, @nojb)

• Fix crash when META file for compiler-libs.toplevel is present (@jeremiedimino, #4249)

Removed

• Remove the 'let-open' option, deprecated since 0.16.0 (#1563, @gpetiot)
• Remove support for OCaml 4.06 and 4.07, minimal version requirement bumped to OCaml 4.08 (#1549, @gpetiot)
• Remove the 'extension-sugar' option, deprecated since 0.14.0 (#1588, @gpetiot)

Bug fixes

• Fix parsing of invalid file wrt original source handling (#1542, @hhugo)
• Preserve the syntax of infix set/get operators (#1528, @gpetiot). String.get and similar calls used to be automatically rewritten to their corresponding infix form .(), that was incorrect when using the -unsafe compilation flag. Now the concrete syntax of these calls is preserved.
• Add location of invalid docstring in warning messages (#1529, @gpetiot)
• Fix comments on the same line as prev and next elements (#1556, @gpetiot)
• Break or-patterns after comments and preserve their position at the end of line (#1555, @gpetiot)
• Fix linebreak between signature items of the same group (#1560, @gpetiot)
• Fix stack overflow on large string constants (#1562, @gpetiot)
• Fix comment position around list cons operator (#1567, @gpetiot)
• Fix the vertical alignment test to break down comment groups (#1575, @gpetiot)
• Preserve spacing of toplevel comments (#1554, @gpetiot)
• Support more sugared extension points (#1587, @gpetiot)

Changes

• Add buffer filename in the logs when applying ocamlformat (#1557, @dannywillems)
• Improve comment position in pattern collection (#1576, @gpetiot)
• Consistent positioning of lambda return type annotations when no-break-infix-before-func and pre/post extensions (#1581, @gpetiot)

New features

• Support injectivity type annotations (OCaml 4.12 feature) (#1523, @gpetiot)

• ocaml support Detailed list of changes on https://tarides.com/blog/2021-01-26-recent-and-upcoming-changes-to-merlin#dropping-support-for-old-versions-of-ocaml Summary:
  • any revision of Merlin now only supports one version of OCaml. Support for other versions will be found in other branches
  • stopped actively supporting version older than 4.11
  • add support for 4.12
• merlin binary
  • add keyword completion (disabled by default) (#1243)
  • fix a bug which caused type-enclosing to sometimes look at an incorrect node (#1232, fixes #1226)
  • properly report leaked parsing error (#1223, fixes #1222)
  • wrap merlin_analysis and merlin_utils library
  • fix windows paths canonicalization (#1254)
  • fix hanging on windows (#1256, #1263)
• editor modes
  • emacs: add missing mandatory argument for define-obsolete-function-alias (#1250, by Atharva Shukla, fixes #1234)
  • emacs: use "opam var" instead of "opam config var" (#1249, by Raja Boujbel)
  • vim: fix CursorMoved semantics (#1213, by @ddickstein)
  • vim: add :MerlinLocateImpl and :MerlinLocateIntf (#1208 by Matthew Ryan)
• test suite
  • replace mdx usage by dune's cram mechanism

Changed

• Dropped OMP dependency and use handwritten compat layers instead (#317, @NathanReb)

• (*) Implemented CLI version compatibility layer [#4385 @rjbou]
• (*) Return code 31 (Sync_error) instead of code 40 (Package_operation_error) when all failures happend during fetching [#4416 @rjbou - fix #4214]
• (+) Add --download-only flag [#4071 @Armael @rjbou - fix #4036]
• (+) Provide opam update --depexts to request an update of the system package manager databases [#4379 @AltGr - fix #4355]
• Set OPAMCLI=2.0 during package action commands [#4492 @kit-ty-kate]
• Fix sandbox check on first opam init [#4370 @rjbou - fix #4368]
• Print shell-appropriate eval command on opam init [#4427 @freevoid]
• Fix init script check in csh [#4482 @gahr]
• The stdout of pre- and post-session hooks is now propagated to the user [#4382 @AltGr - fix #4359]
• post-install hooks are now allowed to modify or remove installed files [#4388 @lefessan]
• Add support for switch-specific pre/post sessions hooks [#4476 @rjbou - fix #4472]
• Ensure we don't advertise upgrades to hidden versions [#4477 @AltGr - fix #4432]
• Fix opam remove --autoremove <PKG> to not autoremove unrelated packages [#4369 @AltGr - fix #4250 #4332]
• Fix cases where opam remove -a could trigger conflicts in the presence of orphan packages [#4369 @AltGr - fix #4250 #4332]
• Fix --update-invariant when removing or changing package name [#4360 @AltGr - fix #4353]
• Fix updates of the invariant with --update-invariant [#4431 @AltGr]
• Fix cleanup of build dirs for version pinned packages [#4436 @rjbou - fix #4255]
• Fix opamfile format upgrade on pinning [#4366 @rjbou - fix #4365]
• Fix pin --show actually pinning [#4367 @rjbou - fix #4348]
• When several pins are needed, do their fetching in parallel [#4399 @rjbou - fix #4315]
• Don't cleanup VCS pin source directories [#4399 @rjbou]
• Fix --working-dir with local switches [#4433 @rjbou]
• Add package variable opamfile-loc, containing the location of installed package opam file [#4402 @rjbou]
• Fix arch detection when using 32bit mode on ARM64 [#4462 @kit-ty-kate]
• Fix arch detection of i486 [#4462 @kit-ty-kate]
• Skip loading the switch state for variable lookup when possible [#4428 @rjbou]
• Fix package variables display when no config file is found [#4428 @rjbou]
• Fix opam option depext-bypass-=["XXX"] [#4428 @rjbou]
• Lint: add a check that strings in filtered package formula are Booleans or variables [#443 @rjbou - fix #4439]
• Fix handling of filename-encoded pkgname in opam files [#4401 @AltGr - fix ocaml-opam/opam-publish#107]
• Don't recompile when modifying the package flags [#4477 @AltGr]
• Add depext support for NetBSD and DragonFlyBSD [#4396 @kit-ty-kate]
• Fix depexts on OpenBSD, FreeBSD, and Gentoo: Allow short names and full name paths for ports-based systems [#4396 @kit-ty-kate]
• Handle the case where os-family=ubuntu as os-family=debian [#4441 @alan-j-hu]
• Update opam's opam files to 2.0 [#4371 @AltGr]
• Makefile: Add rule custom-libinstall for opam-custom-install use [#4401 @AltGr]
• Use the archive caches when running opam admin cache [#4384 @AltGr - fix #4352]
• Fix explosion of opam admin check --cycles on repositories with huge cliques [#4392 @AltGr]
• Much improved format-preserving printer [#4298 #4302 @rjbou - fix #3993]
• Fix missing conflict message when trying to remove required packages [#4362 @AltGr]
• Fix the Z3 backend for upgrades [#4393 @AltGr]
• Fix cases where opam would wrongly complain about action cycles [#4358 @AltGr - fix #4357]
• Fix permission denied fallback for openssl [#4449 @Blaisorblade - fix #4448]
• Add debug & verbose log for patch & subst applications [#4464 @rjbou - fix #4453]
• Be more robust w.r.t. new caches updates when --read-only is not used [#4467 @AltGr - fix #4354]
• Improved and extended tests [#4375 #4395 #4428 #4385 #4467 #4475 #4483 @emillon @rjbou @AltGr @freevoid @dra27]
• Switched to GitHub actions [#4463 @rjbou]

• Bump ppxlib's AST to 4.12 (#193, @NathanReb)

• Fix ppxlib.traverse declaration and make it a deriver and not a rewriter (#213, @NathanReb)
• Driver (important for bucklescript): handling binary AST's, accept any supported version as input; preserve that version (#205, @pitag-ha)
• -as-ppx: take into account the -loc-filename argument (#197, @pitag-ha)
• Add input name to expansion context (#202, @pitag-ha)
• Add Driver.V2: give access to expansion context in whole file transformation callbacks of register_transformation (#202, @pitag-ha)
• Driver: take -cookie argument into account, also when the input is a binary AST (@pitag-ha, #209)
• run_as_ppx_rewriter: take into account the arguments -loc-filename, apply and dont-apply (#205, @pitag-ha)
• Location.Error: add functions raise and update_loc (#205, @pitag-ha)

• Fixed wrong workspace discovery from dune ocaml-merlin (#4127, fixes #4125, @voodoos)

• Fixed memory blow up introduced in 2.8.0 (#4144, fixes #4134, @jeremiedimino)

• Configurator: always link the C libraries in the build command (#4088, @MisterDA).

Added

• Allow to explicitly set the kind of blocks in labels: ocaml, cram, toplevel or include. (#237, @gpetiot)
• Include blocks do not require an empty block anymore (#286, @gpetiot)
• Support for OCaml 4.12 (#298, @kit-ty-kate)

Changed

• Improve error message of cram test exceptions due to empty lines in a block (#270, @pitag-ha)

Fixed

• Report #require directive errors (#276, @gpetiot)
• Handle no such file exception: the input file and the values of options --root and --prelude are checked (#292, @gpetiot)
• Keep locations from parsing instead of recomputing the lines, providing better error messages (#241, @gpetiot)
• Use create_process instead of execvp to call mdx-test from mdx. This fixes running mdx from dune on Windows (#299, @emillon)

• Fixed dune --version printing n/a rather than the version

• dune rules accepts aliases and other non-path rules (#4063, @mrmr1993)

• Action (diff reference test_result) now accept reference to be absent and in that case consider that the reference is empty. Then running dune promote will create the reference file. (#3795, @bobot)

• Ignore special files (BLK, CHR, FIFO, SOCKET), (#3570, fixes #3124, #3546, @ejgallego)

• Experimental: Simplify loading of additional files (data or code) at runtime in programs by introducing specific installation sites. In particular it allow to define plugins to be installed in these sites. (#3104, #3794, fixes #1185, @bobot)

• Move all temporary files created by dune to run actions to a single directory and make sure that actions executed by dune also use this directory by setting TMPDIR (or TEMP on Windows). (#3691, fixes #3422, @rgrinberg)

• Fix bootstrap script with custom configuration. (#3757, fixes #3774, @marsam)

• Add the executable field to inline_tests to customize the compilation flags of the test runner executable (#3747, fixes #3679, @lubegasimon)

• Add (enabled_if ...) to (copy_files ...) (#3756, @nojb)

• Make sure Dune cleans up the status line before exiting (#3767, fixes #3737, @alan-j-hu)

• Add {gitlab,bitbucket} as options for defining project sources with source stanza (source (<host> user/repo)) in the dune-project file. (#3813, @rgrinberg)

• Fix generation of META and dune-package files when some targets (byte, native, dynlink) are disabled. Previously, dune would generate all archives for regardless of settings. (#3829, #4041, @rgrinberg)

• Do not run ocamldep to for single module executables & libraries. The dependency graph for such artifacts is trivial (#3847, @rgrinberg)

• Fix cram tests inside vendored directories not being interpreted correctly. (#3860, fixes #3843, @rgrinberg)

• Add package field to private libraries. This allows such libraries to be installed and to be usable by other public libraries in the same project (#3655, fixes #1017, @rgrinberg)

• Fix the %{make} variable on Windows by only checking for a gmake binary on UNIX-like systems as a unrelated gmake binary might exist on Windows. (#3853, @kit-ty-kate)

• Fix $ dune install modifying the build directory. This made the build directory unusable when $ sudo dune install modified permissions. (fix #3857, @rgrinberg)

• Fix handling of aliases given on the command line (using the @ and @@ syntax) so as to correctly handle relative paths. (#3874, fixes #3850, @nojb)

• Allow link time code generation to be used in preprocessing executable. This makes it possible to use the build info module inside the preprocessor. (#3848, fix #3848, @rgrinberg)

• Correctly call git ls-tree so unicode files are not quoted, this fixes problems with dune subst in the presence of unicode files. Fixes #3219 (#3879, @ejgallego)

• dune subst now accepts common command-line arguments such as --debug-backtraces (#3878, @ejgallego)

• dune describe now also includes information about executables in addition to that of libraries. (#3892, #3895, @nojb)

• instrumentation backends can now receive arguments via (instrumentation (backend <name> <args>)). (#3906, #3932, @nojb)

• Tweak auto-formatting of dune files to improve readability. (#3928, @nojb)

• Add a switch argument to opam when context is not default. (#3951, @tmattio)

• Avoid pager when running $ git diff (#3912, @AltGr)

• Add (root_module ..) field to libraries & executables. This makes it possible to use library dependencies shadowed by local modules (#3825, @rgrinberg)

• Allow (formatting ...) field in (env ...) stanza to set per-directory formatting specification. (#3942, @nojb)

• [coq] In coq.theory, :standard for the flags field now uses the flags set in env profile flags (#3931 , @ejgallego @rgrinberg)

• [coq] Add -q flag to :standard coqc flags , fixes #3924, (#3931 , @ejgallego)

• Add support for Coq's native compute compilation mode (@ejgallego, #3210)

• Add a SUFFIX directive in .merlin files for each dialect with no preprocessing, to let merlin know of additional file extensions (#3977, @vouillon)

• Stop promoting .merlin files. Write per-stanza Merlin configurations in binary form. Add a new subcommand dune ocaml-merlin that Merlin can use to query the configuration files. The allow_approximate_merlin option is now useless and deprecated. Dune now conflicts with merlin < 3.4.0 and ocaml-lsp-server < 1.3.0 (#3554, @voodoos)

• Configurator: fix a bug introduced in 2.6.0 where the configurator V1 API doesn't work at all when used outside of dune. (#4046, @aalekseyev)

• Fix libexec and libexec-private variables. In cross-compilation settings, they now point to the file in the host context. (#4058, fixes #4057, @TheLortex)

• When running $ dune subst, use project metadata as a fallback when package metadata is missing. We also generate a warning when (name ..) is missing in dune-project files to avoid failures in production builds.

• Remove support for passing -nodynlink for executables. It was bypassed in most cases and not correct in other cases in particular on arm32. (#4085, fixes #4069, fixes #2527, @emillon)

• Generate archive rules compatible with 4.12. Dune longer attempt to generate an archive file if it's unnecessary (#3973, fixes #3766, @rgrinberg)

• Fix generated Merlin configurations when multiple preprocessors are defined for different modules in the same folder. (#4092, fixes #2596, #1212 and #3409, @voodoos)

• Add the option use_standard_c_and_cxx_flags to dune-project that 1. disables the unconditional use of the ocamlc_cflags and ocamlc_cppflags from ocamlc -config in C compiler calls, these flags will be present in the :standard set instead; and 2. enables the detection of the C compiler family and populates the :standard set of flags with common default values when building CXX stubs. (#3875, #3802, fix #3718 and #3528, @voodoos)

• Drop Github token generation feature, no longer supported by Github API.
• Use newer github library, avoiding warning with deprecated authentication method
• Allow publication of packages without URL (for conf packages)
• Added flag --no-browser to disable browser popup
• Fix detection of package names when specifying opam file names on the command-line

• add support for OCaml 4.12 (@emillon, #339)

Features

• Support cancellation notifications when possible. (#323)

• Implement signature help request for functions (#324)

• Server LSP requests & notifications concurrently. Requests that require merlin are still serialized. (#330)

Features

• Code action to insert inferred module interface (#308)

• Filter keywords by context (#307)

Features

• Add keyword completion

• Add go to declaration functionality to jump to a value's specification in a .mli file (#294)

Fixes

• #245: correctly use mutexes on OpenBSD (#264)

• #268: Do not use vendored libraries when building the lsp package (#260)

• #271: Clear diagnostics when files are closed

• Disable non-prefix completion. There's no reliably way to trigger it and it can be slow.

Removed

• Remove the 'escape-chars' option, deprecated since 0.14.0 (#1462, @gpetiot)
• Remove the 'escape-strings' option, deprecated since 0.14.0 (#1463, @gpetiot)
• Remove the 'doc-comments-val' option, deprecated since 0.14.2 (#1461, @gpetiot)
• Removed options are now listed in the commandline manual (new REMOVED OPTIONS section) (#1469, @Julow)

Changes

• Set 'indicate-multiline-delimiters=no' on default profile (#1452, @gpetiot)
• Option 'let-open' is now deprecated, concrete syntax will always be preserved starting from OCamlFormat v0.17.0, corresponding to the current 'let-open=preserve' behavior. (#1467, @gpetiot)
• Warnings printed by ocamlformat itself now use the 4.12 style with symbolic names (#1511, #1518, @emillon)
• Remove extension from executable name in error messages. On Windows, this means that messages now start with "ocamlformat: ..." instead of "ocamlformat.exe: ..." (#1531, @emillon)
• Using tokens instead of string manipulation when inspecting the original source (#1526, #1533, #1541 @hhugo) (#1532, @gpetiot)

Bug fixes

• Allow a break after if%ext with if-then-else=keyword-first (#1419, #1543, @gpetiot)
• Fix parentheses around infix applications having attributes (#1464, @gpetiot)
• Fix parentheses around the index arg of a non-sugared index operation (#1465, @gpetiot)
• Preserve comment position around match and try keywords (#1458, @gpetiot)
• Add missing break in module statement (#1431, @gpetiot)
• Indent attributes attached to included modules better (#1468, @gpetiot)
• Clean up ocamlformat.el for submission to MELPA (#1476, #1495, @bcc32)
  • Added missing package metadata to ocamlformat.el (#1474, @bcc32)
  • Fix ocamlformat.el buffer replacement for MacOS Emacs (#1481, @juxd)
• Add missing parentheses around a pattern matching that is the left-hand part of a sequence when an attribute is attached (#1483, @gpetiot)
• Add missing parentheses around infix operator used to build a function (#1486, @gpetiot)
• Fix comments around desugared expression (#1487, @gpetiot)
• Fix invalid fragment delimiters of format-invalid-files recovery mode (#1485, @hhugo)
• Fix misalignment of cases in docked function match (#1498, @gpetiot)
• Preserve short-form extensions for structure item extensions (#1502, @gpetiot). For example open%ext M will not get rewritten to [%%ext open M].
• Do not change the spaces within the code spans in docstrings (#1499, @gpetiot)
• Comments of type constrained label in record pattern have to be relocated in 4.12 (#1517, @gpetiot)
• Preserve functor syntax for OCaml 4.12 (#1514, @gpetiot)
• Fix inconsistencies of the closing parentheses with indicate-multiline-delimiters (#1377, #1540, @gpetiot)
• Fix position of comments around list constructor (::) (#1524, @gpetiot)
• Fix comments position in extensions (#1525, @gpetiot)
• Fix formatting of field override with constraint (#1544, @gpetiot)

• merlin binary
  • simplify local store implementation and API (#1188, #1184)
  • fix a destruct issue allowing ill-typed match completions (#1194)

• Expose Ppxlib.Driver.map_signature (#194, @kit-ty-kate)

Additions

• Compatibility with OCaml 4.12 (ocaml/odoc#531, @Octachron)

Internal

• Use ppxlib instead of ocaml-migrate-parsetree 1.x. (#1482, @emillon)
  • No functional changes are expected.
  • Cherry picked commits: 219dc1e3a4614041e1bc5428d003c0af4e, 9e453b0ef87124e33827ee2423289deef8, 7ad1e575ffa4ce3022c71daba39954d3b9, eb49db6772a9adabe611982000465d0ad7, dc79052a085950cd88fdef0843f665a029, c06c544e21bd65b726cde8fee0f78a6248, ce94d2fa50ff276b5782070375a0b30ba1

• Make ppxlib compatible with 4.12 compiler (#191, @kit-ty-kate)

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

• Add support for 4.12 (#107, @ceastlund)

• Reduced startup times, in particular for opam exec [#4341 @altgr]
• Fixed the sandboxing check on fresh inits [#4342 @altgr]
• Fixed cases where --with-version was not respected by opam pin [#4346 @altgr]
• Upgraded the bootstrap OCaml compiler from 4.09.1 to 4.11.1 [#4242 @avsm @dra27 @MisterDA @rjbou]

• Bump ppxlib's AST to 4.11 (#180, @NathanReb)

• dot-merlin-reader
  • fix issue when multiple packages with pxxes are declared in the configuration. (#1181, fixes #1179)

• Add accessors for code_path and tool_name to Expansion_context.Base (#173, @jberdine)
• Add cases methods to traversal classes in Ast_traverse (#183, @pitag-ha)

• merlin binary
  • fix completion of pattern matchings with exception patterns (#1169)
  • delegate configuration reading to external programs via a simple protocol and create a new package dot-merlin-reader with a binary that reads .merlin files. (#1123, #1152)

• configurator: More flexible probing of #define. We allow duplicate values in the object file, as long as they are the same after parsing. (#3739, fixes #3736, @rgrinberg)

• Record instrumentation backends in dune-package files. This makes it possible to use instrumentation backends defined in installed libraries (eg via OPAM). (#3735, @nojb)

• Add missing .aux & .glob targets to coq rules (#3721, fixes #3437, @rgrinberg)

• Fix dune-package installation when META templates are present (#3743, fixes #3746, @rgrinberg)

• Resolve symlinks before running $ git diff (#3750, fixes #3740, @rgrinberg)

• Cram tests: when checking that all test directories contain a run.t file, skip empty directories. These can be left around by git. (#3753, @emillon)

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

• merlin binary
  • dune: restore compatibility with dune 1.8.0 (#1157, #1153)

• ocaml support
  • full support from OCaml 4.02 to OCaml 4.11 (#1153)

• Driver.register_transformation: add optional parameter ~instrument (#161, @pitag-ha)
• Add missing Location.init (#165, @pitag-ha)
• Upgrade to ocaml-migrate-parsetree.2.0.0 (#164, @ceastlund)

• Write intermediate files in a .mdx folder for each mdx stanza to prevent the corresponding actions to be executed as part of the @all alias (#3659, @NathanReb)

• Read Coq flags from env (#3547 , fixes #3486, @gares)

• Allow bisect_ppx to be enabled/disabled via dune-workspace. (#3404, @stephanieyou)

• Formatting of dune files is now done in the executing dune process instead of in a separate process. (#3536, @nojb)

• Add a --debug-artifact-substution flag to help debug problem with version not being captured by dune-build-info (#3589, @jeremiedimino)

• Allow the use of the context_name variable in the enabled_if fields of executable(s) and install stanzas. (#3568, fixes #3566, @voodoos)

• Fix compatibility with OCaml 4.12.0 when compiling empty archives; no .a file is generated. (#3576, @dra27)

• $ dune utop no longer tries to load optional libraries that are unavailable (#3612, fixes #3188, @anuragsoni)

• Fix dune-build-info on 4.10.0+flambda (#3599, @emillon, @jeremiedimino).

• Allow multiple libraries with inline_tests to be defined in the same directory (#3621, @rgrinberg)

• Run exit hooks in jsoo separate compilation mode (#3626, fixes #3622, @rgrinberg)

• Add (alias ...), (mode ...) fields to (copy_fields ...) stanza (#3631, @nojb)

• (copy_files ...) now supports copying files from outside the workspace using absolute file names (#3639, @nojb)

• Dune does not use ocamlc as an intermediary to call C compiler anymore. Configuration flags ocamlc_cflags and ocamlc_cppflags are always prepended to the compiler arguments. (#3565, fixes #3346, @voodoos)

• Revert the build optimization in #2268. This optimization slows down building individual executables when they're part of an executables stanza group (#3644, @rgrinberg)

• Use {dev} rather than {pinned} in the generated .opam file. (#3647, @kit-ty-kate)

• Insert correct extension name when editing dune-project files. Previously, dune would just insert the stanza name. (#3649, fixes #3624, @rgrinberg)

• Fix crash when evaluating an mdx stanza that depends on unavailable packages. (#3650, @CraigFe)

• Fix typo in cache-check-probablity field in dune config files. This field now requires 2.7 as it wasn't usable before this version. (#3652, @edwintorok)

• Add "odoc" {with-doc} to the dependencies in the generated .opam files. (#3667, @kit-ty-kate)

• Do not allow user actions to capture dune's stdin (#3677, fixes #3672, @rgrinberg)

• (subdir ...) stanzas can now appear in dune files used via (include ...). (#3676, @nojb)

• No longer expose the unwrapped modules (#94, @jonludlam)
• Remove everything but Ast versions and upgrade/downgrade conversions (#103, @ceastlund)

• Remove base and stdio dependencies (#151, @ceastlund)
• Update README and opam description (#155, @jeremiedimino)
• Fix Driver.partition_transformation (#156, @NathanReb)
• Implement name mangling for ppxlib_traverse (#159, @ceastlund)