OCaml Changelog

• 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)

• 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)

Changes

• Do not break inline elements such as {i blah} in docstrings (#1346, @jberdine)
• Distinguish hash-getter from hash-comparison infix operators. Operators of the form #**# or #**. where ** can be 0 or more operator chars are considered getter operators and are not surrounded by spaces, as opposed to regular infix operators (#1376, @gpetiot)
• Type constraint on return type of functions is now always printed before the function body (#1381, #1397, @gpetiot)

Bug fixes

• Restore previous functionality for pre-post extension points (#1342, @jberdine)
• Fix extra break before function body of a fun (#1343, @jberdine)
• Indent further args of anonymous functions (#1440, @gpetiot)
• Do not clear the emacs *compilation* buffer on successful reformat (#1350, @jberdine)
• Fix disabling with attributes on OCaml < 4.08 (#1322, @emillon)
• Preserve unwrapped comments by not adding artificial breaks when wrap-comments=false and ocp-indent-compat=true are set to avoid interfering with ocp-indent indentation. (#1352, @gpetiot)
• Break long literal strings at the margin (#1367, @gpetiot)
• Break after a multiline argument in an argument list (#1360, @gpetiot)
• Remove unnecessary parens around object (#1379, @gpetiot)
• Fix placement of comments on constants (#1383, @gpetiot)
• Do not escape arguments of some Odoc tags (#1391, 1408, @gpetiot, @Julow). The characters []{} must not be escaped in the arguments of @raise, @author, @version and others.
• Fix missing open line between multi-line let-binding with poly-typexpr (#1372, @jberdine)
• Remove trailing space after expression when followed by an attribute and break before attributes attached to multi-line phrases (#1382, @gpetiot)
• Do not add a space to minimal comments (* *), (** *) and (*$ *) (#1407, @gpetiot)
• Fix attributes position in labelled arguments type (#1434, @gpetiot)
• Add missing parens around type annotation in anonymous function (#1433, @gpetiot)
• Fix alignment of 'then' keyword in parenthesised expression (#1421, @gpetiot)

New features

• Support quoted extensions (added in ocaml 4.11) (#1405, @gpetiot)
• Recognise eliom file extensions (#1430, @jrochel)

• Fix compatibility with OCaml 4.12 (#3585, fixes #3583, @ejgallego)

Changes

• No functional changes from 0.14.2. The goal of this release is to be compatible with base and stdio v0.14.0.
• Backport the following PRs:
  • Update opam metadata (#1386)
  • Add compatibility with base.v0.14.0 (#1396)
  • Allow stdio.v0.14 (#1399)

Added

• HTML comments can carry block labels (#234, @gpetiot) The syntax is: <!-- $MDX labels -->, where labels is a list of valid labels separated by a comma. This line has to immediately precede the block it is attached to. The legacy syntax is preserved and will be deprecated in a later release.
• Add support for toplevel blocks in .mli files' doc comments (#206, @jsomers)
• Add support for OCaml 4.11 (#261, @kit-ty-kate)

Changed

• Apply unnamed preludes to all environments (#271, @gpetiot) New behavior:
  • env_and_file "a:f" associates f to the environment named a
  • env_and_file " :f" associates f to the default environment
  • env_and_file "f" associates f to all environments.
• Errors in non toplevel OCaml blocks are now printed to a seperate mdx-error code block following the ocaml block instead of crashing the mdx process. Those mdx-error blocks are recognized and checked by mdx and can be intentionally used to show case specific compile errors. (#238, @gpetiot)
• Improve error reporting for invalid (* $MDX part-... *) delimiters (#250, @gpetiot)

Deprecated

• The command 'mdx rule' is deprecated and will be removed in 2.0.0 (#251, @gpetiot)

Fixed

• Fix the environment selection for preludes and slightly improve quality of type names in evaluations of toplevel phrases in certain cases. (#225, @gpetiot)
• Fix toplevel parsing when phrases contain tabs (#240, @gpetiot)
• Avoid adding newlines to empty blocks (#253, @gpetiot)
• Preserve the indentation of included files (#259, @gpetiot)
• Preserve the header in shell blocks (#249, @craigfe)
• Support underscores in environment variables in set- and unset- labels (#257, @shonfeder)
• Fix mdx on Windows which was looking for the ocaml-mdx-test binary at the wrong place (#263, @hcarty)
• Properly report mdx parsing errors instead of crashing with an uncaught exception (#267, @gpetiot)

Added

• Add a dune-release config subcommand to display and edit the global configuration (#220, @NathanReb).
• Add command delegate-info to print information needed by external release scripts (#221, @pitag-ha)
• Use Curly instead of Cmd to interact with github (#202, @gpetiot)
• Add x-commit-hash field to the opam file when releasing (#224, @gpetiot)
• Add support for common alternative names for the license and ChangeLog file (#204, @paurkedal)

Changed

• Command tag: improve error and log messages by comparing the provided commit with the commit correspondent to the provided tag (#226, @pitag-ha)
• Error logs: when an external command fails, include its error message in the error message posted by dune-release (#231, @pitag-ha)
• Error log formatting: avoid unnecessary line-breaks; indent only slightly in multi-lines (#234, @pitag-ha)
• Linting step of dune-release distrib does not fail when opam's doc field is missing. Do not try to generate nor publish the documentation when opam's doc field is missing. (#235, @gpetiot)

Deprecated

• Deprecate opam 1.x (#195, @gpetiot)

Fixed

• Separate packages names by spaces in publish logs (#171, @hannesm)
• Fix uncaught exceptions in distrib subcommand and replace them with proper error messages (#176, @gpetiot)
• Use the 'user' field in the configuration before inferring it from repo URI and handles HTTPS URIs (#183, @gpetiot)
• Ignore backup files when looking for README, CHANGES and LICENSE files (#194, @gpetiot)
• Do not echo input characters when reading token (#199, @gpetiot)
• Improve the output of VCS command errors (#193, @gpetiot)
• Better error handling when checking opam version (#195, @gpetiot)
• Do not write 'version' and 'name' fields in opam file (#200, @gpetiot)
• Use Yojson to parse github json response and avoid parsing bugs. (#177, @gpetiot)
• The git command used in publish doc should check DUNE_RELEASE_GIT (even if deprecated) before PATH. (#242, @gpetiot)
• Adapt the docs to the removal of the log subcommand (#196, @gpetiot)

• Bump ppxlib's AST to 4.10 (#130, @NathanReb)
• Remove omp_config from Expansion_context and replace it with tool_name (#149, @NathanReb)
• Change undocumented Ppxlib.Driver.map_structure to return a ppxlib's structure instead of a Migrate_parsetree.Driver.some_structure. (#153, @NathanReb)

• Fix crash when caching is enabled (@rgrinberg, #3581, fixes #3580)

• Do not use -output-complete-exe until 4.10.1 as it is broken in 4.10.0 (@jeremiedimino, #3187)

• Fix crash when an unknown pform is found (such as %{unknown}) (#3560, @emillon)

• Improve error message when invalid package names (such as the empty string) are passed to dune build -p. (#3561, @emillon)

• Fix a stack overflow when displaying large outputs (including diffs) (#3537, fixes #2767, #3490, @emillon)

• Pass -g when compiling ppx preprocessors (#3671, @rgrinberg)

Additions

• Compatibility with OCaml 4.11 (#434, @kit-ty-kate)

• merlin binary
  • dune: remove duplicated rules for profile=release (#1143)
• test suite
  • fix a test that required Dune 2.5 (#1146)
  • fix another test that lacked reproducibility (#1146)

• ocaml support
  • alerts are no-more ignored and are reported as warnings (#1138)
• merlin binary
  • fix completion of names containing - (#1142)
  • fix several type-enclosing bugs by performing context-analysis (#1108)
  • lsp: add deprecation flag to outline items (#1087)
  • lsp: add go-to typedef (Locate_type) (#1067)

• Fix a bug where valid lib names in dune init exec --libs=lib1,lib2 results in an error. (#3444, fix #3443, @bikallem)

• Add and enabled_ if field to the install stanza. Enforce the same variable restrictions for enabled_if fields in the executable and install stanzas than in the library stanza. When using dune lang < 2.6, the usage of forbidden variables in executables stanzas with only trigger a warning to maintain compatibility. (#3408 and #3496, fixes #3354, @voodoos)

• Insert a constraint one the version of dune when the user explicitly specify the dependency on dune in the dune-project file (#3434 , fixes #3427, @diml)

• Generate correct META files for sub-libraries (of the form lib.foo) that contain .js runtime files. (#3445, @hhugo)

• Add a (no-infer ...) action that prevents inference of targets and dependencies in actions. (#3456, fixes #2006, @roddyyaga)

• Correctly infer targets for the diff? action. (#3457, fixes #2990, @greedy)

• Fix $ dune print-rules crashing (#3459, fixes #3440, @rgrinberg)

• Simplify js_of_ocaml rules using js_of_ocaml.3.6 (#3375, @hhugo)

• Add a new ocaml-merlin subcommand that can be used by Merlin to get configuration directly from dune instead of using .merlin files. (#3395, @voodoos)

• Remove experimental variants feature and make default implementations part of the language (#3491, fixes #3483, @rgrinberg)

• compatible with OCaml 4.11 (@kit-ty-kate, #322)
• switch to the new parser exposed since 4.11
• Vi edit mode: register support

Changes

• Merge doc-comments-val option with doc-comments. The placement of documentation comments on val and external items is now controled by doc-comments.
  • doc-comments=after becomes doc-comments=after-when-possible to take into account the technical limitations of ocamlformat;
  • doc-comments=before is unchanged;
  • doc-comments-val is now replaced with doc-comments. To reproduce the former behaviors
    • doc-comments=before + doc-comments-val=before: now use doc-comments=before;
    • doc-comments=before + doc-comments-val=after: now use doc-comments=before-except-val;
    • doc-comments=after + doc-comments-val=before: this behavior did not make much sense and is not available anymore;
    • doc-comments=after + doc-comments-val=after: now use doc-comments=after-when-possible. (#1358, @jberdine, @Julow, @gpetiot). This reverts changes introduced in 0.14.1 (#1335) and 0.14.0 (#1012).

• Fix magic numbers for the 4.11 ast (#96, @hhugo)

Additions

• add #edit_mode_vi and #edit_mode_default mode to set the editing mode(@kandu)
• Backport the #use_output directive (@diml, #313)

General

• Load init file from ~/.config/utop/init.ml as per XDG conventions (@copy, #144)
• Add OCaml 4.09 and 4.10 to the CI matrix (@kit-ty-kate, #310)
• Add documentation for dune utop usage in emacs (@samarthkishor, #307)

• Remove toplevel Option module accidentally added in 1.7.0

• [coq] Fix install .v files for Coq theories (#3384, @lthms)

• [coq] Fix install path for theory names with level greater than 1 (#3358, @ejgallego)

• Fix a bug introduced in 2.0.0 where the [locks] field in rules with no targets had no effect. (@aalekseyev, report by @craigfe)