OCaml Changelog

• Add support for OCaml 5.2 (#470, fixes #466, @leostera, @ManasJayanth, @huwaireb)

• merlin binary
  • Add a "heap_mbytes" field to Merlin server responses to report heap usage (#1717)
  • Add cache stats to telemetry (#1711)
  • Add new SyntaxDocument command to find information about the node under the cursor (#1706)
  • Fix FLG -pp ppx.exe -as-pp/-dump-ast use of invalid shell redirection when direct process launch on Windows. (#1723, fixes #1722)
  • Add a query_num field to the ocamlmerlin responses to detect server crashes (#1716)
  • Jump to cases within a match statement (#1726)
  • Jump to module-type (#1728, partially fixes #1656)
  • Exposes stable functions for configuration handling and pattern variable destruction. (#1730)
• editor modes
  • vim: load merlin under the ocamlinterface and ocamllex filetypes (#1340)
  • Fix merlinpp not using binary file open (#1725, fixes #1724)

Added

• Introduce a (dynamic_include ..) stanza. This is like (include foo) but allows foo to be the target of a rule. Currently, there are some limitations on the stanzas that can be generated. For example, public executables, libraries are currently forbidden. (#9913, @rgrinberg)

• Introduce $ dune promotion list to print the list of available promotions. (#9705, @moyodiallo)

• If Sherlodoc is installed, add a search bar in generated HTML docs (#9772, @EmileTrotignon)

• Add only_sources field to copy_files stanza (#9827, fixes #9709, @jchavarri)

• The (foreign_library) stanza now supports the (enabled_if) field. (#9914, @nojb)

Fixed

• Fix $ dune install -p incorrectly recognizing packages that are supposed to be filtered (#9879, fixes #4814, @rgrinberg)

• subst: correctly handle opam files in opam/ subdirectory (#9895, fixes #9862, @emillon)

• Odoc private rules are not set up if a library is not available due to enabled_if (#9897, @rgrinberg and @jchavarri)

Changed

• When dune language 3.14 is enabled, resolve the binary in (run %{bin:..} ..) from where the binary is built. (#9708, @rgrinberg)

• boot: remove single-command bootstrap. This was an alternative bootstrap strategy that was used in certain conditions. Removal makes the bootstrap a bit slower on Linux when only a single core is available, but bootstrap is now reproducible in all cases. (#9735, fixes #9507, @emillon)

• Add an optional embed_errors argument to Context_free.map_top_down that controls how to deal with exceptions thrown by context-free rules. (#468, @NathanReb)

• Fix Longident.parse so it properly handles unparenthesized dotted operators such as +. or *.. (#111, @rgrinberg, @NathanReb)

• raising an exception does no longer cancel the whole context free phase(#453, @burnleydev1)

• Sort embedded errors that are appended to the AST by location so the compiler reports the one closer to the beginning of the file first. (#463, @NathanReb)

• Update Attribute.get to ignore loc_ghost. (#460, @ceastlund)

• Add API to manipulate attributes that are used as flags (#408, @dianaoigo)

• Update changelog to use ISO 8061 date format: YYYY-MM-DD. (#445, @ceastlund)

• Replace Caml with Stdlib. (#427, @ceastlund)

• When a transformation raises, the last valid AST is used as input to the upcoming transformations. All such errors are collected and appended as extension nodes to the final AST (#447, @burnleydev1)

• Fix a small mistake in the man pages: Embededding errors is done by default with -as-pp, not with -dump-ast (#464, @pitag-ha)

• Set appropriate binary mode when writing to stdout especially for Windows compatibility. (#466, @jonahbeckford)

• Fix performance regression for incremental builds (#9769, fixes #9738, @rgrinberg)

• Fix dune ocaml top-module to correctly handle absolute paths. (#8249, fixes #7370, @Alizter)

• subst: ignore broken symlinks when looking at source files (#9810, fixes #9593, @emillon)

• subst: do not fail on 32-bit systems when large files are encountered. Just log a warning in this case. (#9811, fixes #9538, @emillon)

• boot: sort directory entries in readdir. This makes the dune binary reproducible in terms of filesystem order. (#9861, fixes #9794, @emillon)

Fixed

• Revert to outputing a file (without content) when rendering a hidden compilation unit. This fixes cases where the dune rules would fail. (@panglesd, #1069)

Added

• Add command dune cache clear to completely delete all traces of the Dune cache. (#8975, @nojb)

• Allow to disable Coq 0.8 deprecation warning (#9439, @ejgallego)

• Allow OCAMLFIND_TOOLCHAIN to be set per context in the workspace file through the env stanza. (#9449, @rgrinberg)

• Menhir: generate .conflicts file by default. Add new field to the (menhir) stanza to control the generation of this file: (explain <blang expression>). Introduce (menhir (flags ...) (explain ...)) field in the (env) stanza, delete (menhir_flags) field. All changes are guarded under a new version of the Menhir extension, 3.0. (#9512, @nojb)

• Directory targets can now be cached. (#9535, @rleshchinskiy)

• It is now possible to use special forms such as (:include) and variables %{read-lines:} in (modules) and similar fields. Note that the dependencies introduced in this way (i.e., the files being read) must live in a different directory than the stanza making use of them. (#9578, @nojb)

• Remove warning 30 from default set for projects where dune lang is at least 3.13 (#9568, @gasche)

• Add coqdoc_flags field to coq field of env stanza, allowing the setting of workspace-wide defaults for coqdoc_flags. (#9280, fixes #9139, @Alizter)

• ctypes: fix an error where (ctypes) with no (function_description) would cause an error trying refer to a nonexistent _stubs.a dependency (#9302, fix #9300, @emillon)

Changed

• Check that package names in (depends) and related fields in dune-project are well-formed. (#9472, fixes #9270, @ElectreAAS)

Fixed

• Do not ignore (formatting ..) settings in context or workspace files (#8447, @rgrinberg)

• Fixed a bug where Dune was incorrectly parsing the output of coqdep when it was escaped, as is the case on Windows. (#9231, fixes #9218, @Alizter)

• Copying mode for sandboxes will now follow symbolic links (#9282, @rgrinberg)

• Forbid the empty (binaries ..) field in the env stanza in the workspace file unless language version is at least 3.2. (#9309, @rgrinberg)

• [Coq] Fix bug in computation of flags when composed with boot theories. (#9347, fixes #7909, @ejgallego)

• Fixed a bug where the (select) field of the (libraries) field of the (test) stanza wasn't working properly. (#9387, fixes #9365, @Alizter)

• Fix handling of the PATH argument to dune init proj NAME PATH. An intermediate directory called NAME is no longer created if PATH is supplied, so dune init proj my_project . will now initialize a project in the current working directory. (#9447, fixes #9209, @shonfeder)

• Experimental doc rules: Correctly handle the case when a package depends upon its own sublibraries (#9461, fixes #9456, @jonludlam)

• Resolve various public binaries to their build location, rather than to where they're copied in the _build/install directory (#9496, fixes #7908, @rgrinberg).

• Correctly ignore warning flags in vendored projects (#9515, @rgrinberg)

• Use watch exclusions in watch mode on MacOS (#9643, fixes #9517, @PoorlyDefinedBehaviour)

• Fix Merlin configuration for (include_subdirs qualified) modules (#9659, fixes #8297, @rgrinberg)

• Fix handling of enabled_if in binary install stanzas. Previously, we'd ignore the result of enabled_if when evaluating %{bin:..} (#9707, @rgrinberg)

Fixed

• Fix version check in runtest_alias for cram stanza (#9454, @emillon)

• Fix stack overflow when a (run) action can not be parsed. (#9530, fixes #9529, @gridbugs)

Fixes

• Fix missing super & subscripts in markdown documentation. (#1170)
• Do not invoke dune at all if --fallback-read-dot-merlin flag is on. (#1173)
• Fix semantic highlighting of infix operators that contain '.'. (#1186)
• Disable highlighting unit as an enum member to fix comment highlighting bug. (#1185)
• Improve type-on-hover and type-annotate efficiency by only formatting the type of the first enclosing. (#1191, #1196)
• Fix the encoding of URI's to match how vscode does it (#1197)
• Fix parsing of completion prefixes (#1181)

Features

• Compatibility with Odoc 2.3.0, with support for the introduced syntax: tables, and "codeblock output" (#1184)
• Display text of references in doc strings (#1166)
• Add mark/remove unused actions for open, types, for loop indexes, modules, match cases, rec, and constructors (#1141)
• Offer auto-completion for the keyword in (#1217)

Added

• Add support for external search engines (@panglesd, @EmileTrotignon, #972) This includes the generation of an index and the display of the results in the UI (HTML only).
• Display 'private' keyword for private type extensions (@gpetiot, #1019)
• Allow to omit parent type in constructor reference (@panglesd, @EmileTrotignon, #933)

Fixed

• Warn and exit when table(s) is not closed (@lubegasimon, #1050)
• Hint when list(s) is not closed (@lubegasimon, #1050)
• Fix crash on functors returning an alias (@Julow, #1046)
• Fix rendering of polymorphic variants (@wikku, @panglesd, #971)
• Add references to extension declarations (@gpetiot, @panglesd, #949)

Changed

• Style: Adjusted line height in the TOC to improve readability (@sorawee, #1045)
• Style: Remove font fallback to Helvetica, Arial (@Julow, #1028)
• Style: Preformatted elements fallback to UA monospace (@toastal, #967)
• Style: Sidebar is now stuck to the left of the content instead of the left of the viewport (@EmileTrotignon, #999)

• merlin binary
  • Fix a follow-up issue to the preference of non-ghost nodes introduced in #1660 (#1690, fixes #1689)
  • Add -cache-lifespan flag, that sets cache invalidation period. (#1698, #1705)
  • Fix Merlin locate not fallbacking on the correct file in case of ambiguity (@goldfirere, #1699)
  • Fix Merlin reporting errors provoked by the recovery itself (#1709, fixes #1704)
• editor modes
  • vim: load merlin when Vim is compiled with +python3/dyn (e.g. MacVim)
  • emacs: highlight only first error line by default (#1693, fixes #1663)

Added

• Introduce $ dune ocaml doc to open and browse documentation. (#7262, fixes #6831, @EmileTrotignon)

• dune cache trim now accepts binary byte units: KiB, MiB, etc. (#8618, @Alizter)

• Introduce the runtest_alias field to the cram stanza. This allows removing default runtest alias from tests. (@rgrinberg, #8887)

• Display cache location in Dune log (#8974, @nojb)

• Dune can now be built and installed on Haiku (#8795, fix #8551, @Alizter)

• Mark installed directories in dune-package files. This fixes (package) dependencies against packages that contain such directories. (#8953, fixes #8915, @emillon)

• Introduce new experimental odoc rules (#8803, @jonjudlam)

Changed

• dune-build-info: when version="" is found in a META file, we now return None as a version string (#9177, @emillon)

• No longer force colors for OCaml 4.03 and 4.04 (#8778, @rgrinberg)

• Dependencies in the copying sandbox are now writeable (#8920, @rgrinberg)

• Rules that only use internal dune actions (write-file, echo, etc.) can now be sandboxed. (#9041, fixes #8854, @rgrinberg)

• Add test_ prefix to default test name in dune init project (#9257, fixes #9131, @9sako6)

Fixed

• Do not ignore libraries named bigarray when they are defined in conjunction with OCaml 5.0 (#8902, fixes #8901, @rgrinberg)

• Correctly ignore bigarray on recent versions of OCaml (#9076, @rgrinberg)

• Absent packages shouldn't prevent all rules from being loaded (#8948, fixes #8630, @rgrinberg)

• Correctly determine the stanza of menhir modules when (include_subdirs qualified) is enabled (@rgrinberg, #8949, fixes #7610)

• Re-run actions whenever (expand_aliases_in_sandbox) changes (#8990, @rgrinberg)

• Do not re-run rules when their location changes (#9052, @rgrinberg)

• [coq rules] Be more tolerant when coqc --print-version / --config don't work properly, and fallback to a reasonable default. This fixes problems when building Coq projects with (stdlib no) and likely other cases. (#8966, fix #8958, @Alizter, reported by Lasse Blaauwbroek)

• Dune will now run at a lower framerate of 15 fps rather than 60 when INSIDE_EMACS. (#8812, @Alizter)

• Add a new --no-confirmation argument for use in automated pipeline [#158 @AltGr - fix #132]
• Improve the error message when a file expected to be an opam file is given as argument [#150 @kit-ty-kate - partially fix #149]
• Adopt the OCaml Code of Conduct [#151 @rikusilvola]
• Changes the makefile to make sure the standard "make && make install" works [#157 @kit-ty-kate]

• Fix 5.1 support (@tmcgilchrist, odoc#1018)

Fixed

• Fix dune rpc commands on Windows (#8806, fixes #8799, @nojb)

• Fix inline_tests when the partition list is empty (#8849, fixes #8848, @hhugo)

• Fix support for OCaml 5.1: migrated code preserves generative functor warnings, without creating more. Locations are better preserved. (#432, @pitag-ha, @panglesd)

• Driver: Add -unused-code-warnings command-line flag. (#444, @ceastlund)

• Add ?warning flag to Deriving.Generator.make. (#440, @jacksonzou123 via @ceastlund)

• Restore the path_arg functionality in the V3 API. (#431, @ELLIOTTCABLE)

• Expose migration/copying/etc. functions for all AST types needed by Pprintast. (#454, @antalsz)

• Preserve quoted attributes on antiquotes in metaquot. (#441, @ncik-roberts)

• Attribute namespaces: Fix semantics of reserving multi-component namespaces. (#443, @ncik-roberts)

Added

• enabled_if now supports arch_sixtyfour variable (#8023, fixes #7997, @Alizter)

• Experimental: Added a $ dune monitor command that can connect to a running dune build in watch mode and display the errors and progress. (#8152, @Alizter)

• The progress RPC procedure now has an extra field for the In_progress constructor for the number of failed jobs. (#8212, @Alizter)

• Add a --preview flag to dune fmt which causes it to print out the changes it would make without applying them (#8289, @gridbugs)

• Introduce (source_trees ..) to the install stanza to allow installing entire source trees. (#8349, @rgrinberg)

• Add --stop-on-first-error option to dune build which will terminate the build when the first error is encountered. (#8400, @pmwhite and @Alizter)

• Dune now displays the number of errors when waiting for changes in watch mode. (#8408, fixes #6889, @Alizter)

• Add with_prefix keyword for changing the prefix of the destination of installed files matched by globs. (#8416, @gridbugs)

• Added experimental --display tui option for Dune that opens an interactive Terminal User Interface (TUI) when Dune is running. Press '?' to open up a help screen when running for more information. (#8429, @Alizter and @rgrinberg)

• Add a warnings field to dune-project files as a unified mechanism to enable or disable dune warnings (@rgrinberg, 8448)

• dune exec: support syntax like %{bin:program}. This can appear anywhere in the command line, so things like dune exec time %{bin:program} now work. (#6035, #8474, fixes #2691, @emillon, @Leonidas-from-XIV)

• Add a new alias @doc-json to build odoc documentation in JSON format. This output can be consumed by external tools. (#8178, @emillon)

Changed and Fixed

• Use posix_spawn instead of fork on MacOS. This gives us a performance boost and allows us to re-enable thread. (#8090, @rgrinberg)

• Modules that were declared in (modules_without_implementation), (private_modules) or (virtual_modules) but not declared in (modules) will raise an error. (#7674, @Alizter)

• No longer emit linkopts(javascript) in META files (#8168, @hhugo)

• RPC message styles are now serialised meaning that RPC diagnostics keep their ANSI styling. (#8516, fixes #6921, @Alizter)

• Truncate output from actions that produce too much output (@tov, #8351)

• Allow libraries to shadow OCaml built-in libraries. Previously, built-in libraries would always take precedence. (@rgrinberg, #8558)

• dune utop no longer links utop in "custom" mode, which should make this command considerably faster. (#8631, fixes #6894, @nojb)

• Ensure that package names in dune-project are valid opam package names. (#8331, @emillon)

• init: check that module names are valid (#8644, fixes #8252, @emillon)

• dune init: parse --public as a public name (#8603, fixes #7108, @emillon)

• Stop signing source files with substitutions. Sign only binaries instead (#8361, fixes #8360, @anmonteiro)

• Make copy sandbox support directory targets. (#8705, fixes #7724, @emillon)

Deprecated and Removed

• Deprecate install destination paths beginning with ".." to prevent packages escaping their designated installation directories. (#8350, @gridbugs)

• Remove warning against .dune files generated by pre Dune 2.0 (#8611, @rgrinberg)

• Remove versions 0.1 and 0.2 of the experimental ctypes extension. (#8293, @emillon)

Additions

• Source code rendering (@Julow, @panglesd, @jonludlam #909, #996, #993, #982)
• Handle tables markup (@panglesd, @gpetiot, #893)
• Initial support for assets (@trefis, #975)
• odoc-parser remerged (@jonludlam, #973) This includes table support (@gpetiot, @panglesd, ocaml-doc/odoc-parser#11 ocaml-doc/odoc-parser#14) and delimited code blocks with optional output (@jonludlam, ocaml-doc/odoc-parser#17)
• Add a tooltip to references with text (@Julow, #945)
• Add emoji to alerts in CSS (@yawaramin, #928)
• Add common language in shipped highlightjs (@Julow, #953)

Bugfixes

• Fix --hidden not always taken into account (@panglesd, #940)
• Syntax highlight labels in function arguments (@panglesd, #990)
• Ensure generated html ends with a newline (@3Rafal, #954)
• Warn against tags in pages (@Julow, #948)
• Remove unhelpful 'Unresolved_apply' errors (@gpetiot, #946)
• Allow links and references in headings (@EmileTrotignon, @panglesd, #942)
• Fix rendering of method types (@zoggy, #935)
• Fix section labelling with submodules (@EmileTrotignon, @panglesd, #931)
• LaTeX backend fixes (@Octachron, #921 #920)
• html: Remove extra space in class declarations (@Julow, #936)
• Fix rendering of unresolved references (@Julow, #957)

Added

• Add os_type label to enable/disable based on Sys.os_type (#433, @polytypic)

• Make MDX compatible with OCaml 5.1 (#435, @polytypic and @kit-ty-kate)

Changed

• Vendored the odoc-parser library, removing the need to have it as a dependency. (#430, @jonludlam)

• merlin binary
  • Fix issue with let operators and tuples (ocaml/merlin#1684, fixes ocaml/merlin#1683, fixes ocaml/ocaml-lsp#1182)
  • Fix an issue causing Merlin locate queries to hang (ocaml/merlin#1686, fixes ocaml/ocaml-lsp#1192)

• Merlin binary
  • Improve error messages for missing configuration reader (ocaml/merlin#1669)
  • Fix regression causing crash when using PPXs under Windows (ocaml/merlin#1673)
  • Fix confusion between aliased modules and module types (ocaml/merlin#1676, fixes ocaml/merlin#1667)
  • Ignore hidden branches when listing occurrences (ocaml/merlin#1677, fixes ocaml/merlin#1671)
• Editor modes
  • Emacs: fix/improve keybindings (ocaml/merlin#1668, fixes ocaml/merlin#1386): Unbind C-c C-r (to avoid shadowing tuareg-eval-region) and bind C-c C-v instead to merlin-error-check; rebind C-c C-d to merlin-document and bind C-c M-d and C-c | instead to merlin-destruct; bind C-u C-c C-t to merlin-type-expr.
  • Emacs: remove use of obsolete defadvice macro (ocaml/merlin#1675)

Changed

• Compatible with OCaml 5.1.0 (#2412, @Julow) The syntax of let-bindings changed sligthly in this version.
• Improved ocp-indent compatibility (#2428, @Julow)
• * Removed extra break in constructor declaration with comment (#2429, @Julow)
• * De-indent the object keyword in class types (#2425, @Julow)
• * Consistent formatting of arrows in class types (#2422, @Julow)

Fixed

• Fix dropped attributes on a begin-end in a match case (#2421, @Julow)
• Fix dropped attributes on begin-end in an if-then-else branch (#2436, @gpetiot)
• Fix non-stabilizing comments before a functor type argument (#2420, @Julow)
• Fix crash caused by module types with nested with module (#2419, @Julow)
• Fix ';;' formatting between doc-comments and toplevel directives (#2432, @gpetiot)

• merlin binary
  • Constrain socket path buffer size to avoid build warnings (#1631)
  • Handle concurrent server start (#1622)
  • Omit module prefixes for constructors and record fields in the construct command (#1618). Prefixes are still produced when warning 42 (disambiguated name) is active.
  • Correctly invalidate PPX cache when pipeline ran partially (#1650, fixes #1647)
  • Prevent short-path from looping in some cases related to recursive type definitions (#1645)
  • Support parsing negative numbers in sexps (#1655)
  • Fix construct not working with inline records (#1658)
  • Improve behavior of type-enclosing on let/and operators (#1653)
  • Fix occurrences of extension constructors (#1662)
  • Improve node selection when ghosts are present (#1664, fixes #1660)
• editor modes
  • emacs: call merlin-client-logger with "interrupted" if the merlin binary itself is interrupted, not just the parsing of the result (#1626).
  • emacs: merlin-construct, with a prefix argument, now includes local values in the completion options. Alternatively, this behavior can be enabled permanently by customizing merlin-construct-with-local-values (#1644)
  • emacs: add support for opam-switch-mode (#1654, fixes #1591). See https://github.com/ProofGeneral/opam-switch-mode

Additions

• OCaml 5.1.0 compatibility (@Octachron, #956)

Fixes

• Fix flushing when using sendfile fallback (#8288, fixes #8284, @alan-j-hu)

Added

• Add dune show rules as alias of the dune rules command. (#8000, @Alizter)

• Add dune show installed-libraries as an alias of the dune installed-libraries command. (#8135, @Alizter)

• Add dune build --dump-gc-stats FILE argument to dump garbage collection stats to a named file. (#8072, @Alizter)

• Add dune describe package-entries to print all package entries (#7480, @moyodiallo)

Fixed

• Fix %{deps} to expand properly in (cat ...) when containing 2 or more items. (#8196, @Alizter)

• Fix the severity of error messages sent over RPC which was missing. (#8193, @Alizter)

• Fix bug with ppx and Reason syntax due to missing dependency in sandboxed action (#7932, fixes #7930, @Alizter)

Changed

• Improve dune describe external-lib-deps by adding the internal dependencies for more information. (#7478, @moyodiallo)

• Re-enable background file digests on Windows. The files are now open in a way that prevents race condition around deletion. (#8262, fixes #8268, @emillon)

Fixes

• Disable background digests on Windows. This prevents an issue where unremovable files would make Dune crash when the shared cache is enabled. (#8243, fixes #8228, @emillon)

• Fix permission errors when sendfile is not available (#8234, fixes #8210, @emillon)

Items marked with an asterisk (*) are changes that are likely to format existing code differently from the previous release when using the default profile.

New features

• Handle short syntax for generative functor types (#2348, @gpetiot)
• Improved error reporting for unstable or dropped comments (#2292, @gpetiot)

Removed

• Remove --numeric feature (#2333, #2357, @gpetiot)

Bug fixes

• Fix crash caused by let f (type a) :> a M.u = .. (#2399, @Julow)
• Fix crash caused by module T = (val (x : (module S))) (#2370, @Julow)
• Fix invalid formatting of then begin end (#2369, @Julow)
• Protect match after fun _ : _ -> (#2352, @Julow)
• Fix invalid formatting of (::) (#2347, @Julow)
• Fix indentation of module-expr extensions (#2323, @gpetiot)
• * Remove double parentheses around tuples in a match (#2308, @Julow)
• * Remove extra parentheses around module packs (#2305, @Julow, @gpetiot)
• Fix indentation of trailing double-semicolons (#2295, @gpetiot)
• Fix formatting of comments in "disable" chunks (#2279, @gpetiot)
• Fix non-stabilizing comments attached to private/virtual/mutable keywords (#2272, #2307, @gpetiot, @Julow)

Changes

• Improve formatting of doc-comments (#2338, #2349, #2376, #2377, #2379, #2378, @Julow) Remove unnecessary escaping and preserve empty lines.
• * Indent as-patterns that have parentheses (#2359, @Julow)
• Don't print warnings related to odoc code-blocks when '--quiet' is set (#2336, #2373, @gpetiot, @Julow)
• * Improve formatting of module arguments (#2322, @Julow)
• * Don't indent attributes after a let/val/external (#2317, @Julow)
• Consistent indentation of @@ let+ x = ... (#2315, #2396, @Julow) It was formatted differently than @@ let x = ....
• * Improve formatting of class expressions and signatures (#2301, #2328, #2387, @gpetiot, @Julow)
• * Consistent indentation of fun (type a) -> following fun x -> (#2294, @Julow)
• * Restore short-form formatting of record field aliases (#2282, #2388, @gpetiot, @Julow)
• * Restore short-form for first-class modules: ((module M) : (module S)) is formatted as (module M : S)) (#2280, #2300, @gpetiot, @Julow)
• * Improve indentation of ~label:(fun ... (#2271, #2291, #2293, #2298, #2398, @Julow) The fun keyword is docked where possible and the arguments are indented to avoid confusion with the body.
• JaneStreet profile: treat comments as doc-comments (#2261, #2344, #2354, #2365, #2392, @gpetiot, @Julow)
• Tweaks the JaneStreet profile to be more consistent with ocp-indent (#2214, #2281, #2284, #2289, #2299, #2302, #2309, #2310, #2311, #2313, #2316, #2362, #2363, @gpetiot, @Julow)

• Fix unavailable expunge on Windows (#447, @jonahbeckford)

Fixes

• Disable background operations and threaded console on macOS and other Unixes where we rely on fork. (#8100, #8121, fixes #8083, @rgrinberg, @emillon)

• Initialize async I/O thread lazily. (#8122, @emillon)

• Fix behavior of utop -stdin (#434, fixes #433, @tuohy)

• Handle bounds with Zed.next_error (#442, @tmattio)

• Load files from XDG directories (the legacy paths still work). (#431, @Skyb0rg007)

• Remove deprecated values prompt_continue, prompt_comment, smart_accept, new_prompt_hooks, at_new_prompt (#427, @emillon)

• Require OCaml 4.11.0 or newer. (#444, @emillon)

Added

• Include the time it takes to read/write state files when --trace-file is enabled (#7960, @rgrinberg)

• Include source tree scans in the traces produced by --trace-file (#7937, @rgrinberg)

• Add --all option to dune rpc status to show all Dune RPC servers running. (#8011, fix #7902, @Alizter)

• Add additional metadata to the traces provided by --trace-file whenever --trace-extended is passed (#7778, @rleshchinskiy)

• $ dune describe is now a command group, so arguments to subcommands must be passed after subcommand itself. (#7919, @Alizter)

• Add dune show command group which is an alias of dune describe. (#7946, @Alizter)

• Add dune show env command and make dune printenv an alias of it. (#7985, @Alizter)

• Add commands dune show targets and dune show aliases that display all the available targets and aliases in a given directory respectively. (#7770, grants #265, @Alizter)

• Extensions used in (dialect) can contain periods (e.g., cppo.ml). (#7782, fixes #7777, @nojb)

• The interface and implementation fields of a (dialect) are now optional (#7757, @gpetiot)

• Add (build_if) to the (test) stanza. When it evaluates to false, the executable is not built. (#7899, fixes #6938, @emillon)

• Allow (include_subdirs qualified) to be used when libraries define a (modules ...) field (#7797, fixes #7597, @anmonteiro)

• Allow multiple globs in library's (stdlib (internal_modules ..)) (@anmonteiro, #7878)

Changed

• Do not rerun OCaml syntax files on every iteration of the watch mode. This is too memory consuming. (#7894, fix #6900, @rgrinberg)

• Attach melange rules to the default alias (#7926, @haochenx)

• Compute digests and manage sandboxes in background threads (#7947, @rgrinberg)

Fixed

• Validate file extension for $ dune ocaml top-module. (#8005, fixes #8004, @3Rafal)

• Cinaps: The promotion rules for cinaps would only offer one file at a time no matter how many promotions were available. Now we offer all the promotions at once (#7901, @rgrinberg)

• Add necessary parentheses in generated opam constraints (#7682, fixes #3431, @Lucccyo)

Removed

• Remove some compatibility code for old version of dune that generated .merlin files. Now dune will never remove .merlin files automatically (#7562)

• In opam constraints, reject (and) and (or) with no arguments at parse time (#7730, @emillon)

• Fix deadlock on Windows (dune#8044, @nojb)
• When using sendfile to copy files on Linux, fall back to the portable version if it fails at runtime for some reason (NFS, etc). (dune#8049, fixes dune#8041, @emillon)

Added

• Adopt the OCaml Code of Conduct (#473, @rikusilvola)
• Added support for projects that have their OPAM files in the opam/ subdirectory. (#466, @Leonidas-from-XIV)

Changed

• Running dune-release check now attempts to discover and parse the change log, and a new flag --skip-change-log disables this behaviour. (#458, @gridbugs)
• List the main package and amount of subpackages when creating the PR to avoid very long package lists in PRs (#465, @emillon)

Fixed

• Avoid collision between branch and tag name. Tag detection got confused when branch was named the same as tag. Now it searches only for tag refs, instead of all refs. (#452, @3Rafal)
• Fix project name detection from dune-project. The parser could get confused when opam file generation is used. Now it only considers the first (name X) in the file. (#445, @emillon)

Removed

• Remove support for delegates. Previous users of this feature should now use dune-release delegate-info and wrap dune-release calls in a script. See #188 for details. (#428, @NathanReb)
• Removed support for the OPAM 1.2.2 client. This means dune-release expects the opam binary to be version 2.0 at least. (#406, #411, @Leonidas-from-XIV)

Fixes

• Fix file permissions used when specifying output files of pp and ppx. (ocaml-lsp#1153)

Features

• Add "Remove type annotation" code action. (#1039)
• Support settings through didChangeConfiguration notification (#1103)
• Add "Extract local" and "Extract function" code actions. (#870)
• Depend directly on merlin-lib 4.9 (#1070)

Fixes

• Support building with OCaml 5.0 and 5.1 (#1150)

• Disable code lens by default. The support can be re-enabled by explicitly setting it in the configuration. (#1134)

• Fix initilization of ocamlformat-rpc in some edge cases when ocamlformat is initialized concurrently (#1132)

• Kill unnecessary $ dune ocaml-merlin with SIGTERM rather than SIGKILL (#1124)

• Refactor comment parsing to use odoc-parser and cmarkit instead of octavius and omd (#1088)

  This allows users who migrated to omd 2.X to install ocaml-lsp-server in the same opam switch.

  We also slightly improved markdown generation support and fixed a couple in the generation of inline heading and module types.

• Allow opening documents that were already open. This is a workaround for neovim's lsp client (#1067)

• Disable type annotation for functions (#1054)

• Respect codeActionLiteralSupport capability (#1046)

• Fix a document syncing issue when utf-16 is the position encoding (#1004)

• Disable "Type-annotate" action for code that is already annotated. (#1037, fixes #1036)

• Fix semantic highlighting of long identifiers when using preprocessors (#1049, fixes #1034)

• Fix the type of DocumentSelector in cram document registration (#1068)

• Accept the --clientProcessId command line argument. (#1074)

• Accept --port as a synonym for --socket. (#1075)

• Fix connecting to dune rpc on Windows. (#1080)

• Switch back to threaded console for all systems; fix unresponsive console on Windows (dune#7906, @nojb)
• Respect -p / --only-packages for melange.emit artifacts (dune#7849, @anmonteiro)
• Fix scanning of Coq installed files (@ejgallego, reported by @palmskog, dune#7895 , fixes dune#7893)
• Fix RPC buffer corruption issues due to multi threading. This issue was only reproducible with large RPC payloads (dune#7418)
• Fix printing errors from excerpts whenever character offsets span multiple lines (dune#7950, fixes dune#7905, @rgrinberg)

• Fix a crash when using a version of Coq < 8.13 due to the native compiler config variable being missing. We now explicitly default to (mode vo) for these older versions of Coq. (dune#7847, fixes dune#7846, @Alizter)
• Duplicate installed Coq theories are now allowed with the first appearing in COQPATH being preferred. This is inline with Coq's loadpath semantics. This fixes an issue with install layouts based on COQPATH such as those found in nixpkgs. (dune#7790, @Alizter)
• Revert dune#7415 and dune#7450 (Resolve ppx_runtime_libraries in the target context when cross compiling) (dune#7887, fixes dune#7875, @emillon)

• [BUG] Variables are now expanded in build-env (as for setenv) [#5352 @dra27]
• Correctly handle empty environment variable additions [#5350 @dra27]
• Skip empty environment variable additions [#5350 @dra27]
• [BUG] Fix passing archive-mirrors field from init config file to config [#5315 @hannesm]
• git, hg: Use the full SHA1 revision instead of just the 8 first characters [#5342 @reynir]
• [BUG] Fix opam installing packages without checking their checksum when the local cache is corrupted in some case [#5538 @kit-ty-kate]

• merlin binary
  • Allow monadic IO in dot protocol (#1581)
  • Add a scope option to the occurrences command in preparation for the upcoming project-wide-occurrences feature (#1596)
  • Construct bool-typed holes as false instead of true in the construct command, for consistency (#1599).
  • Add a hook to configure system command for spawning ppxes when Merlin is used as a library. (#1585)
  • Implement an all-or-nothing cache for the PPX phase (#1584)
  • Cleanup functors caches when backtracking, to avoid memory leaks (#1609, fixes #1529 and ocaml-lsp#1032)
  • Fix construct results ordering for sum types sand poly variants (#1603)
  • Fix object method completion not working (#1606, fixes #1575)
  • Improve context detection for package types (#1608, fixes #1607)
  • Fix incorrect locations for string literals (#1574)
  • Fixed an issue that caused errors to erroneously alert about missing cmi files (#1577)
  • Prevent destruct from crashing on closed variant types (#1602, fixes #1601)
  • Improve longident parsing (#1612, fixes #945)
• editor modes
  • emacs: call the user's configured completion UI in merlin-construct (#1598)
• test suite
  • Add missing dependency to a test using ppxlib (#1583)
  • Add tests for the new PPX phase cache (#1584)
  • Add and update tests for construct ordering (#1603)

Added

• Introduce mdx stanza 0.4 requiring mdx >= 2.3.0 which updates the default list of files to include *.mld files (#7582, @Leonidas-from-XIV)

• Allow (stdlib ...) to be used with (wrapped false) in library stanzas (#7139, @anmonteiro).

• Allow the main module of a library with (stdlib ...) to depend on other libraries (#7154, @anmonteiro).

• Support (link_flags ...) in (cinaps ...) stanza. (#7423, fixes #7416, @nojb)

• Allow (package ...) in any position within (rule ...) stanza (#7445, @Leonidas-from-XIV)

• Added a new user action (concurrent ) which is like (progn ) but runs the actions concurrently. (#6933, @Alizter)

• Accept the Ordered Set Language for the modes field in library stanzas (#6611, @anmonteiro).

• Allow parallel execution of inline tests partitions (#7012, @hhugo)

• Add the --display-separate-messages flag to separate the error messages produced by commands with a blank line. (#6823, fixes #6158, @esope)

• Add --watch-exclusions to Dune build options (#7216, @jonahbeckford)

• Adds support for loading plugins in toplevels (#6082, fixes #6081, @ivg, @richardlford)

• Introduce a public_headers field on libraries. This field is like install_c_headers, but it allows to choose the extension and choose the paths for the installed headers. (#7512, @rgrinberg)

• Dune can now detect Coq theories from outside the workspace. This allows for composition with installed theories (not necessarily installed with Dune). (#7047, @Alizter, @ejgallego)

• Added a --no-build option to dune coq top for avoiding rebuilds (#7380, fixes #7355, @Alizter)

• Add a coqdoc_flags field to the coq.theory stanza allowing the user to pass extra arguments to coqdoc. (#7676, fixes #7954 @Alizter)

• Preliminary support for Coq compiled intefaces (.vos files) enabled via (mode vos) in coq.theory stanzas. This can be used in combination with dune coq top to obtain fast re-building of dependencies (with no checking of proofs) prior to stepping into a file. (#7406, @rlepigre)

• Read pkg-config arguments from the PKG_CONFIG_ARGN environment variable (#1492, #7734, @anmonteiro)

• Use $PKG_CONFIG, when set, to find the pkg-config binary (#7469, fixes #2572, @anmonteiro)

Changed

• Bootstrap: remove reliance on shell. Previously, we'd use the shell to get the number of processors. (#7274, @rgrinberg)

• Non-user proccesses such as version control or config checking are now run silently. (#6994, fixes #4066, @Alizter)

• Bytecode executables built for JSOO are linked with -noautolink and no longer depend on the shared stubs of their dependent libraries (#7156, @nojb)

• Always include opam files in the generated .install file. Previously, it would not be included whenever (generate_opam_files true) was set and the .install file wasn't yet generated. (#7547, @rgrinberg)

Deprecated

• Modules that were declared in (modules_without_implementation), (private_modules) or (virtual_modules) but not declared in (modules) will cause Dune to emit a warning which will become an error in 3.9. (#7608, fixes #7026, @Alizter)

• Coq language versions less 0.8 are deprecated, and will be removed in an upcoming Dune version. All users are required to migrate to (coq lang 0.8) which provides the right semantics for theories that have been globally installed, such as those coming from opam (@ejgallego, @Alizter)

Fixed

• Find pps dependencies in the host context when cross-compiling, (#7415, fixes #4156, @anmonteiro)

• Fix plugin loading with findlib. The functionality was broken in 3.7.0. (#7556, @anmonteiro)

• Load the host context findlib.conf when cross-compiling (#7428, fixes #1701, @rgrinberg, @anmonteiro)

• Allow overriding the ocaml binary with findlib configuration (#7648, @rgrinberg)

• Resolve ppx_runtime_libraries in the target context when cross compiling (#7450, fixes #2794, @anmonteiro)

• Fix dune install when cross compiling (#7410, fixes #6191, @anmonteiro, @rizo)

• Fix string quoting in the json file written by --trace-file (#7773, @rleshchinskiy)

• Correctly set MANPATH in dune exec. Previously, we would use the bin/ directory of the context. (#7655, @rgrinberg)

• merlin: ignore instrumentation settings for preprocessing. (#7606, fixes #7465, @Alizter)

• When a rule's action is interrupted, delete any leftover directory targets. This is consistent with how we treat file targets. (#7564, @rgrinberg)

• Fix dune crashing on MacOS in watch mode whenever $PATH contains $PWD (#7441, fixes #6907, @rgrinberg)

• Dune in watch mode no longer builds concurrent rules in serial (#7395 @rgrinberg, @jchavarri)

• dune coq top now correctly respects the project root when called from a subdirectory. However, absolute filenames passed to dune coq top are no longer supported (due to being buggy) (#7357, fixes #7344, @rlepigre and @Alizter)

• RPC: Ignore SIGPIPE when clients suddenly disconnect (#7299, #7319, fixes #6879, @rgrinberg)

• Always clean up the UI on exit. (#7271, fixes #7142 @rgrinberg)

• Bootstrap: correctly detect the number of processors by allowing nproc to be looked up in $PATH (#7272, @Alizter)

• Speed up file copying on macos by using clonefile when available (@rgrinberg, #7210)

• Support commands that output 8-bit and 24-bit colors in the terminal (#7188, @Alizter)

• Speed up rule generation for libraries and executables with many modules (#7187, @jchavarri)

• Do not re-render UI on every frame if the UI doesn't change (#7186, fix #7184, @rgrinberg)

• Make coq_db creation in scope lazy (@ejgallego, #7133)

• dune install now respects --display quiet mode (#7116, fixes #4573, fixes #7106, @Alizter)

• Stub shared libraries (dllXXX_stubs.so) in Dune-installed libraries could not be used as dependencies of libraries in the workspace (eg when compiling to bytecode and/or Javascript). This is now fixed. (#7151, @nojb)

• Fix regression where Merlin was unable to handle filenames with uppercase letters under Windows. (#7577, @nojb)

• On nix+macos, pass -f to the codesign hook to avoid errors when the binary is already signed (#7183, fixes #6265, @greedy)

• Fix bug where RPC clients built with dune-rpc-lwt would crash when closing their connection to the server (#7581, @gridbugs)

• Fix RPC server on Windows (used for OCaml-LSP). (#7666, @nojb)

• Fix regression with unit qualification when a Unit module is in scope with no () constructor (fix regression with unit qualification ocaml-community/utop#429, fixes regression with qualifying () ocaml-community/utop#428, @emillon)
• emacs: add completion-at-point implementation (Add completion-at-point implementation ocaml-community/utop#261 ocaml-community/utop#406, fixes utop emacs completion-at-point-functions support? ocaml-community/utop#261, @j-shilling)

• Add support for OCaml 5.1 (#421, @emillon)

• Mark prompt_continue, prompt_comment, smart_accept, new_prompt_hooks, at_new_prompt as deprecated (they have been documented as such since 2012 and most of them are ignored) (#415, @emillon)

• Qualify () constructor in generated expressions. (#418, fixes #417, @emillon)

Added

• Added support for mld files (#423, @jonludlam)

Changed

• Switch to using the parser that toplevel uses (found in a mutable ref, instead of always the official OCaml parser). This allows Camlp5's parser to be used with MDX. (#417, @chetmurthy)

• Fix segfault on MacOS when dune was being shutdown while in watch mode. (#7312, fixes #6151, @gridbugs, @emillon)

• Fix preludes not being recorded as dependencies in the (mdx) stanza (#7109, fixes #7077, @emillon).

• Pass correct flags when compiling stdlib.ml. (#7241, @emillon)

• Handle "Too many links" errors when using Dune cache on Windows. The fix in 3.7.0 for this same issue was not effective due to a typo. (#7472, @nojb)

Library

• The declaration of options is a regular module instead of a functor. (#2193, @EmileTrotignon)

Bug fixes

• Fix indentation when ocamlformat is disabled on an expression (#2129, @gpetiot)
• Reset max-indent when the max-indent option is not set (#2131, @hhugo, @gpetiot)
• Add missing parentheses around immediate objects having attributes attached in 4.14 (#2144, @gpetiot)
• Fix dropped comment attached to the identifier of an open-expression (#2155, @gpetiot)
• Correctly format chunks of file in presence of enable/disable floating attributes (#2156, @gpetiot)
• Remove abusive normalization in docstrings references (#2159, #2162, @EmileTrotignon)
• Fix parentheses around symbols in if-then-else branches (#2169, @gpetiot)
• Preserve position of comments around variant identifiers (#2179, @gpetiot)
• Fix parentheses around symbol identifiers (#2185, @gpetiot)
• Fix alignment inconsistency between let-binding and let-open (#2187, @gpetiot)
• Fix reporting of operational settings origin in presence of profiles (#2188, @EmileTrotignon)
• Fix alignment inconsistency of if-then-else in apply (#2203, @gpetiot)
• Fix automated Windows build (#2205, @nojb)
• Fix spacing between recursive module bindings and recursive module declarations (#2217, @gpetiot)
• ocamlformat-rpc: use binary mode for stdin/stdout (#2218, @rgrinberg)
• Fix interpretation of glob pattern in .ocamlformat-ignore under Windows (#2206, @nojb)
• Remove conf mutability, and correctly display the conventional profile when using print-config (#2233, @EmileTrotignon)
• Preserve position of comments around type alias (#2239, @EmileTrotignon)
• Preserve position of comments around constructor record (#2237, @EmileTrotignon)
• Preserve position of comments around external declaration strings (#2238, @EmileTrotignon, @gpetiot)
• Preserve position of comments around module pack expressions (#2234, @EmileTrotignon, @gpetiot)
• Correctly parenthesize array literals with attributes in argument positions (#2250, @ccasin)
• Janestreet: Fix indentation of functions passed as labelled argument (#2259, @Julow)

Changes

• Indent 2 columns after initializer keyword (#2145, @gpetiot)
• Preserve syntax of generative modules ((struct end) vs ()) (#2135, #2146, @trefis, @gpetiot)
• Preserve syntax of module unpack with type constraint (((module X) : (module Y)) vs (module X : Y)) (#2136, @trefis, @gpetiot)
• Normalize location format for warning and error messages (#2139, @gpetiot)
• Preserve syntax and improve readability of indexop-access expressions (#2150, @trefis, @gpetiot)
  • Break sequences containing indexop-access assignments
  • Remove unnecessary parentheses around indices
• Mute warnings for odoc code blocks whose syntax is not specified (#2151, @gpetiot)
• Improve formatting of odoc links (#2152, @gpetiot)
• Preserve sugared extension node attached to an if carrying attributes (#2167, @trefis, @gpetiot)
• Remove unnecessary parentheses around partially applied infix operators with attributes (#2198, @gpetiot)
• JaneStreet profile: doesn't align infix ops with open paren (#2204, @gpetiot)
• Re-use the type let_binding from the parser instead of value_binding, improve the spacing of let-bindings regarding of having extension or comments (#2219, @gpetiot)
• The ocamlformat package now only contains the binary, the library is available through the ocamlformat-lib package (#2230, @gpetiot)

New features

• Add a break-colon option to decide whether to break before or after the : symbol in value binding declarations and type constraints. This behavior is no longer ensured by ocp-indent-compat. (#2149, @gpetiot)
• Format .mld files as odoc documentation files (#2008, @gpetiot)
• New value vertical for option if-then-else (#2174, @gpetiot)
• New value vertical for option break-cases (#2176, @gpetiot)
• New value wrap-or-vertical for option break-infix that only wraps high precedence infix ops (#1865, @gpetiot)

• merlin binary
  • Update internal typer to match OCaml 4.14.1 release (#1557)
  • Improve type-enclosing behaviour when used on records' labels (#1565, fixes #1564)
  • Restore compatibility with some OCaml compiler's debug flags that were incorrectly rejected by Merlin (#1556)
  • Traverse aliases when jumping to declaration. This matches jump-to-definition's behavior (#1563)
  • Improve locate's behavior in various ill-typed expressions (#1546, fixes #1567 and partially #1543)
  • Correctly traverse patterns when looking for docs in the typedtree (#1572)
  • Get documentation when the declaration or definition is selected (#1542, fixes #1540)
  • On Windows, change to a harmless directory when launching server to avoid locking down current directory (#1569, fixes #1474)
• test suite
  • Add multiple tests for locate over ill-typed expressions (#1546)
  • Add non-regression tests for other fixes in this release

Library

• The declaration of options is a regular module instead of a functor. (#2193, @EmileTrotignon)

Bug fixes

• Fix indentation when ocamlformat is disabled on an expression (#2129, @gpetiot)
• Reset max-indent when the max-indent option is not set (#2131, @hhugo, @gpetiot)
• Add missing parentheses around immediate objects having attributes attached in 4.14 (#2144, @gpetiot)
• Fix dropped comment attached to the identifier of an open-expression (#2155, @gpetiot)
• Correctly format chunks of file in presence of enable/disable floating attributes (#2156, @gpetiot)
• Remove abusive normalization in docstrings references (#2159, #2162, @EmileTrotignon)
• Fix parentheses around symbols in if-then-else branches (#2169, @gpetiot)
• Preserve position of comments around variant identifiers (#2179, @gpetiot)
• Fix parentheses around symbol identifiers (#2185, @gpetiot)
• Fix alignment inconsistency between let-binding and let-open (#2187, @gpetiot)
• Fix reporting of operational settings origin in presence of profiles (#2188, @EmileTrotignon)
• Fix alignment inconsistency of if-then-else in apply (#2203, @gpetiot)
• Fix automated Windows build (#2205, @nojb)
• Fix spacing between recursive module bindings and recursive module declarations (#2217, @gpetiot)
• ocamlformat-rpc: use binary mode for stdin/stdout (#2218, @rgrinberg)
• Fix interpretation of glob pattern in .ocamlformat-ignore under Windows (#2206, @nojb)
• Remove conf mutability, and correctly display the conventional profile when using print-config (#2233, @EmileTrotignon)
• Preserve position of comments around type alias (#2239, @EmileTrotignon)
• Preserve position of comments around constructor record (#2237, @EmileTrotignon)
• Preserve position of comments around external declaration strings (#2238, @EmileTrotignon, @gpetiot)
• Preserve position of comments around module pack expressions (#2234, @EmileTrotignon, @gpetiot)
• Correctly parenthesize array literals with attributes in argument positions (#2250, @ccasin)

Changes

• Indent 2 columns after initializer keyword (#2145, @gpetiot)
• Preserve syntax of generative modules ((struct end) vs ()) (#2135, #2146, @trefis, @gpetiot)
• Preserve syntax of module unpack with type constraint (((module X) : (module Y)) vs (module X : Y)) (#2136, @trefis, @gpetiot)
• Normalize location format for warning and error messages (#2139, @gpetiot)
• Preserve syntax and improve readability of indexop-access expressions (#2150, @trefis, @gpetiot)
  • Break sequences containing indexop-access assignments
  • Remove unnecessary parentheses around indices
• Mute warnings for odoc code blocks whose syntax is not specified (#2151, @gpetiot)
• Improve formatting of odoc links (#2152, @gpetiot)
• Preserve sugared extension node attached to an if carrying attributes (#2167, @trefis, @gpetiot)
• Remove unnecessary parentheses around partially applied infix operators with attributes (#2198, @gpetiot)
• JaneStreet profile: doesn't align infix ops with open paren (#2204, @gpetiot)
• Re-use the type let_binding from the parser instead of value_binding, improve the spacing of let-bindings regarding of having extension or comments (#2219, @gpetiot)
• The ocamlformat package now only contains the binary, the library is available through the ocamlformat-lib package (#2230, @gpetiot)

New features

• Add a break-colon option to decide whether to break before or after the : symbol in value binding declarations and type constraints. This behavior is no longer ensured by ocp-indent-compat. (#2149, @gpetiot)
• Format .mld files as odoc documentation files (#2008, @gpetiot)
• New value vertical for option if-then-else (#2174, @gpetiot)
• New value vertical for option break-cases (#2176, @gpetiot)
• New value wrap-or-vertical for option break-infix that only wraps high precedence infix ops (#1865, @gpetiot)

dune executable

Added

• Allow running $ dune exec in watch mode (with the -w flag). In watch mode, $ dune exec the executed binary whenever it is recompiled. (#6966, @gridbugs)

• Add a dune cache size command for displaying the size of the cache (#6638, @Alizter)

• Allow $ dune ocaml dump-dot-merlin to run in watch mode. Also this command shouldn't print "Entering Directory" mesages. (#6497, @rgrinberg)

• Add native support for polling mode on Windows (#7010, @yams-yams, @nojb, review by @Rucikir and @jbeckford)

• Auto-detect dune-workspace files as dune files in Emacs (#7061, @ilankri)

• Allow $ dune utop to load libraries defined in data only directories defined using (subdir ..) (#6631, @rgrinberg)

Changed

• Make dune describe workspace return consistent dependencies for executables and for libraries. By default, compile-time dependencies towards PPX-rewriters are from now not taken into account (but runtime dependencies always are). Compile-time dependencies towards PPX-rewriters can be taken into account by providing the --with-pps flag. (#6727, fixes #6486, @esope)

• Use colored output with MDX when Dune colors are enabled. (#6462, @MisterDA)

• Use colored output with GCC and Clang when compiling C stubs. The flag -fdiagnostics-color=always is added to the :standard set of flags. (#4083, @MisterDA)

• Move $ dune ocaml-merlin -dump-config=$dir to $ dune ocaml merlin dump-config $dir. (#6547, @rgrinberg)

Fixed

• Fix parsing of OCaml errors that contain code excerpts with ... in them. (#7008, @rgrinberg)

• Fix --trace-file output. Dune now emits a single complete event for every executed process. Unterminated async events are no longer written. (#6892, @rgrinberg)

• Print missing newline after $ dune exec. (#6821, fixes #6700, @rgrinberg, @Alizter)

• Fix binary corruption when installing or promoting in parallel (#6669, fixes #6668, @edwintorok)

• Report an error if dune init ... would create a "dune" file in a location which already contains a "dune" directory (#6705, @gridbugs)

• Fix the parsing of alerts. They will now show up in diagnostics correctly. (#6678, @rginberg)

• Print "Leaving Directory" whenever "Entering Directory" is printed. (#6419, fixes #138, @cpitclaudel, @rgrinberg)

• Remove "Entering Directory" messages for $ dune install. (#6513, @rgrinberg)

• dune clean should no longer fail under Windows due to the inability to remove the .lock file. Also, bring the implementation of the global lock under Windows closer to that of Unix. (#6523, @nojb)

• Fix missing dependencies when detecting the kind of C compiler we're using (#6610, fixes #6415, @emillon)

• Remove spurious build dir created when running dune init proj ... (#6707, fixes #5429, @gridbugs)

• Validate the command line arguments for $ dune ocaml top-module. This command requires one positional argument (#6796, fixes #6793, @rgrinberg)

• Fix dependency cycle when installing files to the bin section with glob_files (#6764, fixes #6708, @gridbugs)

• Handle "Too many links" errors when using Dune cache on Windows (#6993, @nojb)

• Pre-emptively clear screen in watch mode (#6987, fixes #6884, @rgrinberg)

• Allow --sandbox to affect ocamldep invocations. Previously, they were wrongly marked as incompatible (#6749, @rgrinberg)

dune language

Added

• Allow (include_subdirs qualified) for OCaml projects. (#6594, fixes #1084, @rgrinberg)

• Format dune files when they are named dune-file. This occurs when we enable the alternative file names project option. (#6566, @rgrinberg)

• Add map_workspace_root dune-project stanza to allow disabling of mapping of workspace root to /workspace_root. (#6988, fixes #6929, @richardlford)

• Allow the cinaps stanza to set a custom alias. By default, if the alias is not set then the cinaps actions will be attached to both @cinaps and @runtest (#6991, @rgrinberg)

• Add (using ctypes 0.3). When used, paths in (ctypes) are interpreted relative to where the stanza is defined. (#6883, fixes #5325, @emillon)

Changed

• Stop passing -q flag in dune coq top, which allows for .coqrc to be loaded. (#6848, fixes #6847, @Alizter)

• Coq native mode is now automatically detected by Dune starting with Coq lang 0.7. (mode native) has been deprecated in favour of detection from the configuration of Coq. (#6409, @Alizter)

• Accurately determine merlin configuration for all sources selected with copy# and copy_files#. The old heuristic of looking for a module in parent directories is removed (#6594, @rgrinberg)

Fixed

• Fix parsing of the <= operator in blang expressions of dune files. Previously, the operator would be interpreted as <. (#6928, @tatchi)

• Fix preprocessing with staged_pps (#6748, fixes #6644, @rgrinberg)

• Fix the parsing of decimal and hexadecimal escape literals in dune, dune-package, and other dune s-expression based files (#6710, @shym)

• Fix cross compilation configuration when a context with targets is itself a host of another context (#6958, fixes #6843, @rgrinberg)

• Allow compilation rules to be impacted by (env ..) stanzas that modify the environment or set binaries. (#6527, @rgrinberg)

• Fix handling of support files generated by odoc. (#6913, @jonludlam)

• Fix the compilation of modules generated at link time when implicit_transitive_deps is enabled (#6642, @rgrinberg)

• Fix inline tests with js_of_ocaml and whole program compilation mode enabled (#6645, @hhugo)

• Fix js_of_ocaml separate compilation rules when --enable=effects ,--enable=use-js-string or --toplevel is used. (#6714, #6828, #6920, @hhugo)

• Fix js_of_ocaml separate compilation in presence of linkall (#6832, #6916, @hhugo)

• coqdep is now called once per theory, instead of one time per Coq file. This should significantly speed up some builds, as coqdep startup time is often heavy (#7048, @Alizter, @ejgallego)