Added

• Add --skip-lint, --skip-build, --skip-test and --keep-build-dir to the main command (#419, @NathanReb)
• Added support for parsing changelogs written in the style of keepachangelog.com (#421, @ifazk)

Additions

• New subcommand to resolve references (@panglesd, @lubegasimon, #812)
• Improved rendering of long signatures (@panglesd, #782)
• Handle comments attached to open statement as floating comment, instead of dropping them (@panglesd, #797)
• Empty includes (containing entirely shadowed entries) are now hidden (@panglesd, #798)

Bugs fixed

• Fix a missing Result constructor during compile. This will cause some functor arguments to have different filenames (@jonludlam, #795)
• Better memory/disk space usage when handling module alias chains (@jonludlam, #799)
• Resolving class-type paths (ie., val x : #c) (@jonludlam, #809)
• Skip top-level attributes while extracting the top comment. Fix top-comment extraction with PPX preprocessing (@jorisgio, #819)
• Better handling of @canonical tags (@jonludlam, #820)
• css: improved layout (@jonludlam, @Julow, #822)

Added

• Add support for adding language tags and metadata labels in mli files. (#339, #357, @julow, @Leonidas-from-XIV)
• Add support for running non-deterministic tests in dune MDX 0.2 stanza by setting the MDX_RUN_NON_DETERMINISTIC environment variable. (#365, #366, @Leonidas-from-XIV)

• Disable warning for deprecated Toploop functions used in dune files written in OCaml syntax. Restores 4.02 compatibility. (#5381, @nojb)

• Fix missing -linkall flag when linking library dune-sites.plugin ( #4348, @kakadu, @bobot, reported by @kakadu)

• No longer reference deprecated Toploop functions when using dune files in OCaml syntax. (#4834, fixes #4830, @nojb)

• Use the stag format API to be compatible with OCaml 5.0 (#5351, @emillon).

• Fix post-processing of dune-package (fix #4389, @strub)

Added

• Add trailing ;; to the output of toplevel phrases that were missing it. (#346, @Leonidas-from-XIV)
• Make MDX compatible with OCaml 4.14 (#356, @NathanReb)

Fixed

• Use the same output as the normal toplevel. Mdx used to carry an unsafe patch to work around a bug fixed in OCaml 4.06 and that patch would change the printed types in some corner cases. (#322, @emillon)

Removed

• Dropped compatibility with older OCaml versions. The minimal supported range is 4.08 to 4.13 now (#345, @Leonidas-from-XIV)
• Do not install deprecated mdx binary anymore (#274, @gpetiot)
• Remove deprecated rule command (#312, @gpetiot)
• Remove support for require-package label, use the mdx stanza in dune instead. This label was only used for the rule command and can now be safely removed. (#363, @Leonidas-from-XIV)

New features

• Update to odoc-parser 1.0.0 (#1843, @Julow). New syntax: code blocks can carry metadata, e.g.: {@ocaml kind=toplevel env=e1[ code ]}

• Add support for OCaml 4.14 (#304, @kit-ty-kate)
• Expand nodes before applying derivers or other inline attributes based transformation, allowing better interactions between extensions and derivers (#279, #297, @NathanReb)
• Add support for registering ppx_import as a pseudo context-free rule (#271, @NathanReb)
• Add input_name to the Expansion_context.Extension and Expansion_context.Deriver modules (#284, @tatchi)
• Improve gen_symbol to strip previous unique suffix before adding a new one (#285, @ceastlund)
• Improve name_type_params_in_td to use prefixes a, b, ... instead of v_x. (#285, @ceastlund)
• Fix a bug in type_is_recursive and really_recursive where they would consider a type declaration recursive if the type appeared inside an attribute payload (#299, @NathanReb)

• Add support for OCaml 4.14 (#360 @kit-ty-kate)
• Document options in utop(1) manpage (#364 #365 @lindig)

Changed

• Use odoc-parser.0.9.0 (#333, @julow)

Deprecated

• Add a deprecation warning for toplevel blocks that are not terminated with ;; (#342, @Leonidas-from-XIV)

Fixed

• Fix accidental redirect of stderr to stdout (#343, @Leonidas-from-XIV)
• Remove trailing whitespaces that were added to indent empty lines (#341, @gpetiot)

• Fallback on dnf if yum does not exist on RHEL-based systems [#4825 @kit-ty-kate]
• Use --no-depexts in CLI 2.0 mode [#4908 @dra27]
• bootstrap: update ocaml version (fixes the compilation of opam with mingw) [#4927 @kit-ty-kate]

• Add support for 4.14 (#119, @kit-ty-kate)

Deprecated

• Profiles compact and sparse are now deprecated and will be removed by version 1.0 (#1803, @gpetiot)
• Options that are not set by the preset profiles are now deprecated and will be removed by version 1.0:
  • align-cases, align-constructors-decl and align-variants-decl (#1793, @gpetiot)
  • disambiguate-non-breaking-match (#1805, @gpetiot)
  • break-before-in (#1888, @gpetiot)
  • break-cases={toplevel,all} (#1890, @gpetiot)
  • break-collection-expressions (#1891, @gpetiot)
  • break-fun-decl=smart (#1892, @gpetiot)
  • break-fun-sig=smart (#1893, @gpetiot)
  • break-string-literals (#1894, @gpetiot)
  • break-struct (#1895, @gpetiot)
  • extension-indent (#1896, @gpetiot)
  • function-indent (#1897, @gpetiot)
  • function-indent-nested (#1898, @gpetiot)
  • if-then-else={fit-or-vertical,k-r} (#1899, @gpetiot)
  • indicate-multiline-delimiters=closing-on-separate-line (#1900, @gpetiot)
  • indent-after-in (#1901, @gpetiot)
  • let-binding-indent (#1902, @gpetiot)
  • let-binding-spacing=sparse (#1903, @gpetiot)
  • match-indent (#1904, @gpetiot)
  • match-indent-nested (#1905, @gpetiot)
  • module-item-spacing=preserve (#1906, @gpetiot)
  • nested-match (#1907, @gpetiot)
  • parens-tuple-patterns (#1908, @gpetiot)
  • sequence-style=before (#1909, @gpetiot)
  • stritem-extension-indent (#1910, @gpetiot)
  • type-decl-indent (#1911, @gpetiot)

Bug fixes

• Fix normalization of sequences of expressions (#1731, @gpetiot)
• Type constrained patterns are now always parenthesized, parentheses were missing in a class context (#1734, @gpetiot)
• Support sugared form of coercions in let bindings (#1739, @gpetiot)
• Add missing parentheses around constructor used as indexing op (#1740, @gpetiot)
• Honour .ocamlformat-ignore on Windows (#1752, @nojb)
• Avoid normalizing newlines inside quoted strings {|...|} (#1754, @nojb, @hhugo)
• Fix quadratic behavior when certain constructs are nested. This corresponds to the cases where a partial layout is triggered to determine if a construct fits on a single line for example. (#1750, #1766, @emillon)
• Fix non stabilizing comments after infix operators (*, %, #-ops) (#1776, @gpetiot)
• Fix excessive break and wrong indentation after a short-open when indicate-multiline-delimiters=closing-on-separate-line (#1786, @gpetiot)
• Add parentheses around type alias used as type constraint (#1801, @gpetiot)
• Fix alignment of comments inside a tuple pattern and remove incorrect linebreak. Fix formatting of labelled arguments containing comments. (#1797, @gpetiot)
• Emacs: only hook ocamlformat mode on tuareg/caml modes when ocamlformat is not disabled (#1814, @gpetiot)
• Fix boxing of labelled arguments, avoid having a linebreak after a label when the argument has a comment attached (#1830, #1885, @gpetiot)
• Add missing parentheses around application of prefix op when applied to other operands (#1825, @gpetiot)
• Fix application of a monadic binding when 'break-infix-before-func=false' (#1849, @gpetiot)
• Fix dropped comments attached to a sequence in a sugared extension node (#1853, @gpetiot)
• Fix formatting of exception types, and add missing parentheses (#1873, @gpetiot)
• Fix indentation of with-type constraints (#1883, @gpetiot)
• Preserve sugared syntax of extension points with attributes (#1913, @gpetiot)
• Improve comment attachment when followed but not preceded by a linebreak (#1926, @gpetiot)
• Fix position of comments preceding Pmod_ident (#1939, @gpetiot)
• Make the formatting of attributes and docstrings more consistent (#1929, @gpetiot)
• Fix stabilization of comments inside attributes (#1942, @gpetiot)

Changes

• Set 'module-item-spacing=compact' in the default/conventional profile (#1848, @gpetiot)
• Preserve bracketed lists in the Parsetree (#1694, #1876, #1914, @gpetiot)
• Line directives now cause OCamlFormat to emit an error, they were previously silently ignored (#1845, @gpetiot)
• Apply option 'module-item-spacing' on mutually recursive type declarations for more consistency (#1854, @gpetiot)

New features

• Handle merlin typed holes (#1698, @gpetiot)
• Handle punned labelled arguments with type constraint in function applications. For example, function application of the form foo ~(x:int) instead of the explicit foo ~x:(x:int). (ocaml#10434) (#1756, #1759, @gpetiot). This syntax is only produced when the output syntax is at least OCaml 4.14.
• Allow explicit binders for type variables (ocaml#10437) (#1757, @gpetiot)
• Add a new ocaml-version option to select the version of OCaml syntax of the output (#1759, @gpetiot)
• Allow disambiguated global identifiers (like t/2) so they can be formatted by tools like OCaml-LSP (#1716, @let-def)
• Handle let operator punning uniformly with other punning forms. Normalizes let operator to the punned form where possible, if output syntax version is at least OCaml 4.13.0. (#1834, #1846, @jberdine)
• Remove unnecessary surrounding parentheses for immediate objects. This syntax is only produced when the output syntax is at least OCaml 4.14. (#1934, @gpetiot)

Additions

• Compatibility with OCaml 4.14 (@patricoferris, @kit-ty-kate, #788)

Bugs fixed

• Man page renderer fails to output pages that have children (@jonludlam, @Julow, #766)
• Fix resolution of unprefixed references to pages (@Julow, #755)
• Fix reporting of ambiguous labels (@Julow, @jonludlam, #773, #781)
• Allow referencing of labels in the top comment (@jonludlam, #771)

Additions

• Strip unquoted spaces in identifiers for a more flexible reference syntax (@lubegasimon, @panglesd, #783)
• Add context to messages raised in expansions of includes (@Julow, #780)

Fixes

• Disable functionality reliant on ocamlformat-rpc for now (#555)

• 4.13 compatiblity

• ocaml support
  • add support for 4.13
  • stopped actively supporting version older than 4.12
• merlin binary
  • Mbrowse.select_leaf: correctly ignore merlin.hide (#1376)
  • enable occurences to work when looking for locally abstract types (#1382)
  • handle -alert compiler flag (#1401)
  • avoid a race condition when the process started to read a configuration file crashes/is not found (#1378, @antalsz)
  • log the backtrace even when the exception is a Failure (#1377, @antalsz)
  • ignore -error-style compiler flag (#1402, @nojb)
  • fix handling of record field expressions (#1375)
  • allow -pp to return an AST (#1394)
  • fix merlin crashing due to short-paths (#1334, fixes #1322)
• editor modes
  • update quick setup instructions for emacs (#1380, @ScriptDevil)
• test suite
  • improve record field destruction testing (#1375)

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

Fixes

• Ppx processes are now executed correctly (#513)

Breaking Change

• ocamllsp drops support for .merlin files, and as a consequence no longer depends on dot-merlin-reader. (#523)

Features

• New code action to automatically remove values, types, opens (#502)

• Fix typo in error message for opam var [#4786 @kit-ty-kate - fix #4785]
• Run the sandbox check in the temporary directory [#4787 @dra27 - fix #4783]
• OpamSystem: avoid calling Unix.environment at top level [#4789 @hannesm]
• Homebrew: Add support for casks and full-names [#4801 @kit-ty-kate]
• Fix the cold target in presence of an older OCaml compiler version on macOS [#4802 @kit-ty-kate - fix #4801]
• Archlinux: handle virtual package detection [#4833 @rjbou - partial fix #4759]
• Disable the detection of available packages on RHEL-based distributions. This fixes an issue on RHEL-based distributions where yum list used to detect available and installed packages would wait for user input without showing any output and/or fail in some cases [#4791 @kit-ty-kate - fixes #4790]
• Handle empty environment variable updates - missed cherry-pick from 2.0 [#4840 @dra27]
• Fix vendored build on mingw-w64 with g++ 11.2 [#4835 @dra27]
• Put back support for switch creation with packages argument and --packages option with cli 2.0, and a specific error message for cli 2.1 [#4853 @rjbou - fix #4843]
• Fix reverting environment additions to PATH-like variables when several dirs added at once [#4861 @dra27]
• Fix dose3 download url since gforge is gone [#4870 @avsm]
• Ensure setenv can use package variables defined during the build [#4841 @dra27]
• Fix `set-invariant: default repos were loaded instead of switch repos [#4866 @rjbou]

• Fix reverting environment additions to PATH-like variables when several dirs added at once [#4861 @dra27]
• Ensure setenv can use package variables defined during the build [#4841 @dra27]

Fixed

• Fixed the release asset URL for projects with multiple opam packages. Before, the packages would attempt to infer their URL and fail in rare cases where the project uses v as prefix for tags but the project version omits it. Now they share the same URL. (#402, #404, @Leonidas-from-XIV)

Added

• Added support for creating releases from unannotated Git tags. dune-release supported unannotated tags in a few places already, now it supports using them for creating a release. (#383, @Leonidas-from-XIV)

Fixed

• Change the ---V command option to be -V (#388, @Leonidas-from-XIV)
• Infer release versions are inferred from VCS tags. This change allows using dune-release on projects that do not use the changelog or have it in a different format. (#381, #383 @Leonidas-from-XIV)
• Fix a bug where dune-release couldn't retrieve a release on GitHub if the tag and project version don't match (e.g. v1.0 vs 1.0). dune-release would in such case believe the release doesn't exist, attempt to create it and subsequently fail. (#387, #395, @Leonidas-from-XIV)

Breaking changes

• Refactor the comment parser in preparation for it to be octavius 2 (@jonludlam, #621)
• Remove odoc-parser into a separate repository (@jonludlam, #700)

Additions

• New model for expanding and cross referencing (@jonludlam, @Julow, @lubegasimon)
• New document output layer, supporting HTML, LaTeX and man page output (@Drup, @Octachron, @jonludlam, @Julow, @lubegasimon)
• Experimental parent/child support for structured output (@jonludlam)
• Add the ability to specifiy canonical paths for types and module types (@jonludlam, #596)
• Several improvements to the HTML tree (@dbuenzli, #600, #605, #589, @Drup, #579)
• Render module synopses in {!modules:...} (@Julow, #597)
• Better HTML rendering (@dbuenzli, #607, #612, #615)
• Better handling of signature comments (@Julow, #627, #629, #640, #643, #647, #654)
• Centre, left and right alignment constructs now parse correctly (@lubegasimon, #624)
• Allow reference to pages that contain hyphens and dots (@lubegasimon, #622)
• Allow type definitions to be copied and pasted with correct syntax (@Drup, #626)
• Install Ocamlary as a library for testing (@dbuenzli, #639)
• Handle @canonical tags on compilation units (@Julow, #649)
• Alias more when strengthening (@jonludlam, #653)
• Light theme fixes (@xvw, #660)
• Handle @canonical tags in the top-comment of modules (@Julow, #662)
• Simplify paths referring to Stdlib (@jonludlam, #677)
• New odoc command to report warnings encountered during compilation/linking (@Julow, #667)
• Anchors on type extensions (@Julow, #684)
• OCaml 4.13 support (@octachron, #687, #689)
• Better errors/warnings (@Julow, #692, #717, #720, #732)
• ModuleType 'Alias' support (@jonludlam, #703)
• Improved test suite (@lubegasimon, #697)
• Improved documentation (@lubegasimon, @jonludlam, #702, #733)
• Strengthen module types (@jonludlam, #731)

Bugs fixed

• Fix for resolving references in mld files (@jonludlam, #611)
• Fix placement of documentation in module aliases (@Julow, #606)
• Fix breakage involving includes and shadowing (@jonludlam, #603)
• Don't link to hidden items (@lubegasimon, #583)
• Don't remove docs of inlined includes (@Julow, #595)
• Don't render shadowed values (@lubegasimon, #580)
• Fix unresolved references in the first comment of a file (@Julow, #592)
• LaTeX: Hardened description environments (@Octachron, #608)
• Resolve references in module synopses (@Julow, #658)
• Fix reference resolution in the presence of shadowing (@Julow, #682)
• uwt now can be documented (@jonludlam, #708)
• Fix resolution involving deeply nested substitutions (@jonludlam, #727)
• Fix off-by-one error in error reporting (@asavahista, #736)

• Fix debouncing of document updates. It was essentially completely broken in all but the most trivial cases. (#509 fixes #504)

• Fix completion when passing named and functional arguments (#512)

• Disable experimental dune support. It was accidentally left enabled.

Features

• Add a new code action Add missing rec keyword, which is available when adding a rec keyword can fix Unbound value ... error, e.g.,

  let fact n = if n = 0 then 1 else n * fact (n - 1)
                                    (* ^^^^ Unbound value fact *)
  

  Adding rec to the definition of fact will fix the problem. The new code action offers adding rec.

• Use ocamlformat to properly format type snippets. This feature requires the ocamlformat-rpc opam package to be installed. (#386)

• Add completion support for polymorphic variants, when it is possible to pin down the precise type. Examples (<|> stands for the cursor) when completion will work (#473)

  Function application:

  let foo (a: [`Alpha | `Beta]) = ()
  
  foo `A<|>
  

  Type explicitly shown:

  let a : [`Alpha | `Beta] = `B<|>
  

  Note: this is actually a bug fix, since we were ignoring the backtick when constructing the prefix for completion.

• Parse merlin errors (best effort) into a more structured form. This allows reporting all locations as "related information" (#475)

• Add support for Merlin Construct command as completion suggestions, i.e., show complex expressions that could complete the typed hole. (#472)

• Add a code action Construct an expression that is shown when the cursor is at the end of the typed hole, i.e., _|, where | is the cursor. The code action simply triggers the client (currently only VS Code is supported) to show completion suggestions. (#472)

• Change the formatting-on-save error notification to a warning notification (#472)

• Code action to qualify ("put module name in identifiers") and unqualify ("remove module name from identifiers") module names in identifiers (#399)

  Starting from:

  open Unix
  
  let times = Unix.times ()
  let f x = x.Unix.tms_stime, x.Unix.tms_utime
  

  Calling "remove module name from identifiers" with the cursor on the open statement will produce:

  open Unix
  
  let times = times ()
  let f x = x.tms_stime, x.tms_utime
  

  Calling "put module name in identifiers" will restore:

  open Unix
  
  let times = Unix.times ()
  let f x = x.Unix.tms_stime, x.Unix.tms_utime
  

Fixes

• Handle workspace change notifications. Previously, the server would only use the set of workspaces given at startup to search for workspace symbols. After this change, workspace folders that are added later will also be considered. (#498)

• Do not show "random" documentation on hover

  • fixed by merlin#1364
  • fixes duplicate:
    • ocaml-lsp#344
    • vscode-ocaml-platform#111

• Correctly rename a variable used as a named/optional argument (#478)

• When reporting an error at the beginning of the file, use the first line not the second (#489)

Changed

• Use odoc-parser.0.9.0 (#333, @julow)

Deprecated

• Add a deprecation warning for toplevel blocks that are not terminated with ;; (#342, @Leonidas-from-XIV)

Fixed

• Fix accidental redirect of stderr to stdout (#343, @Leonidas-from-XIV)
• Remove trailing whitespaces that were added to indent empty lines (#341, @gpetiot)

• Don't use subst --root in Opam files (https://github.com/ocaml/dune/pull/4806, @MisterDA)

• Fix compilation on Haiku (https://github.com/ocaml/dune/pull/4885, @Sylvain78)

• Allow depending on ocamldoc library when ocamlfind is not installed. (https://github.com/ocaml/dune/pull/4811, fixes https://github.com/ocaml/dune/issues/4809, @nojb)

• Fix (enabled_if ...) for installed libraries (https://github.com/ocaml/dune/pull/4824, fixes https://github.com/ocaml/dune/issues/4821, @dra27)

• Create more future-proof opam files using --promote-install-files=false (https://github.com/ocaml/dune/pull/4860, @bobot)

• Drop Parser from the API (#263, @pitag-ha)
• Location: add set_filename and Error.get_location (#247, @pitag-ha)
• Drop dependency on OMP2 (#187, @pitag-ha)
• Make OMP1 a conflict (#255, @kit-ty-kate)
• Drop Syntaxerr from the public API. Doesn't affect any user in the ppx universe (#244, @pitag-ha)
• Add a lower-bound constraint for Sexplib0 (#240, @pitag-ha)
• Fix bug due to which unwanted public binaries got installed when installing ppxlib (#223, @pitag-ha)
• Add Keyword.is_keyword to check if a string is an OCaml keyword (#227, @pitag-ha)
• Remove Lexer.keyword_table: use Keyword.is_keyword instead (#227, @pitag-ha)
• Remove Lexer from the API: it was the same as the compiler-libs Lexer (#228, @pitag-ha)
• Remove the modules Ast_magic, Compiler_version, Js, Find_version, Convert, Extra_warnings, Location_error, Select_ast and Import_for_core from the API: they are meant for internal use and aren't used by any current downstream user in the ppx universe (#230, @pitag-ha)
• Remove compiler specific helper functions from Location. They aren't used by any current downstream user in the ppx universe (#238, @pitag-ha)
• Allow "%a" when using Location.Error.createf (#239, @mlasson)
• Fix in Location: make raise_errorf exception equivalent to exception Error (#242, @pitag-ha)
• Fix in Pprintast: correctly pretty print local type substitutions, e.g. type t := ... (#261, @matthewelse)
• Add Ast_pattern.esequence, for matching on any number of sequenced expressions e.g. do_a (); do_b (); .... (#264, @matthewelse)
• Expose a part of Ast_io in order to allow reading AST values from binary files (#270, @arozovyk)

• Set DEBIAN_FRONTEND=noninteractive for unsafe-yes confirmation level [#4735 @dra27 - partially fix #4731]
• Fix 2.1~alpha2 to 2.1 format upgrade with reinit [#4750 #4756 @rjbou - fix #4748]
• Fix bypass-check handling on reinit [#4750 @rjbou]
• fish: fix deprecated redirection syntax ^ [#4736 @vzaliva]
• Bump src_exts and fix build compat with Dune 2.9.0 [#4754 @dra27]
• Fix depext alpine tagged repositories handling [#4758 @rjbou]

• merlin binary
  • recover ill-typed patterns (#1317, #1342)
  • more accurate type-enclosing for methods (#1328, fixes #1124)
  • fix location of patterns in Occurrences (#1324, fixes ocaml/ocaml-lsp#375)
  • fix location of module definitions done via functors (#1329, fixes #1199)
  • fix -cmt-path dirs mistakenly added to build path (#1330)
  • add new module holes that can replace module expressions (#1333)
  • add a new command construct that builds a list of possible terms when called on a typed hole (#1318)
  • refactor-open improvements (#1313, #1314, #1366, #1372)
    • do not make paths absolute, simply prefix with the identifier under the cursor

      open Foo (* calling refactor-open qualify on this open *)
      let _ = Foo.bar (* previously could result in [Dune__exe.Foo.bar] *)
      

    • do not return identical (duplicate) edits
    • do not return unnecessary edits that when applied do not change the document
    • handle record fields properly
    • handle multi-line paths
    • unqualify should not qualify
  • Handle Persistent_env.Error in Typemod.initial_env (#1355)
  • locate: reset global state from all entry points (#1364)
  • Windows: replace user name by its SID in socketnames (#1345, @ttamttam)
• editor modes
  • vim: add a simple interface to the new construct command: MerlinConstruct. When several results are suggested, <c-i> and <c-u> can be use to change the depth of the recursive construction. (#1318)
  • vim: add support for the merlin-locate-type command: MerlinLocateType (#1359)
  • emacs: add a simple interface to the new construct command: merlin-construct. (#1352)
  • emacs: add support for the merlin-locate-type command. (#1359)
  • emacs: fix issue with merlin--highlight and various minor improvements (#1367, @mattiase)
• test suite
  • cover the new construct command (#1318)
  • disable tests failing in Opam's CI due to nested dune projects (#1373)

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

Bug fixes

• Fix formatting of odoc tags: the argument should be on the same line, indent description that wraps (#1634, #1635, @gpetiot)
• Consistently format let bindings and monadic let bindings, do not drop comments before monadic bindings (#1636, @gpetiot)
• Fix dropped comments attached to pattern constrained by polynewtype (#1645, @gpetiot)
• Fix comment attachment on infix operators (#1643, @gpetiot)
• Add missing spaces inside begin-end delimiting an ite branch (#1646, @gpetiot)
• Add missing parens around function at RHS of infix op (#1642, @gpetiot)
• Preserve begin-end keywords delimiting match cases (#1651, @gpetiot)
• Fix alignment of closing paren on separate line for anonymous functions (#1649, @gpetiot)
• Preserve begin-end keywords around infix operators (#1652, @gpetiot)
• Preserve begin%ext syntax for infix opererator expressions (#1653, @gpetiot)
• Consistently format comments attached to let-and bindings located at toplevel (#1663, @gpetiot)
• Remove double parens around a functor in a module application (#1681, @gpetiot)
• Improve breaking of comments to avoid violating the margin (#1676, @jberdine)
• Fix parentheses around successive unary operations (#1696, @gpetiot)
• Add missing break between pattern and attribute (#1711, @gpetiot)
• Add missing parentheses around expression having attributes or comments inside a shorthand let-open clause (#1708, @gpetiot)
• Do not consider leading star '*' when checking the diff of doc comments (#1712, @hhugo)
• Fix formatting of multiline non-wrapping comments (#1723, @gpetiot)
• Fix position of comments following a record field (#1945, @gpetiot)

Changes

• Improve the diff of unstable docstrings displayed in error messages (#1654, @gpetiot)
• Use UTF8 length of strings, not only in wrapped comments (#1673, @jberdine)
• Improve position of ;; tokens (#1688, @gpetiot)
• Depend on odoc-parser instead of odoc (#1683, #1713, @kit-ty-kate, @jonludlam, @julow). The parser from odoc has been split from the main odoc package and put into its own package, odoc-parser.
• Revert infix-form list formatting to pre-0.17.0 (#1717, @gpetiot)

New features

• Implement OCaml 4.13 features (#1680, @gpetiot)
  • Named existentials in pattern-matching (ocaml#9584)
  • Let-punning (ocaml#10013)
  • Module type substitutions (ocaml#10133)
• Emacs integration (disabled for ocamlformat < 0.19.0):
  • Indent a line or a region with ocamlformat when pressing
  • Break the line and reindent the cursor when pressing (#1639, #1685, @gpetiot) (#1687, @bcc32)
• Add 'line-endings=lf|crlf' option to specify the line endings used in the formatted output. (#1703, @nojb)

Internal

• A script tools/build-mingw64.sh is provided to build a native Windows binary of ocamlformat using mingw64 toolchain under Cygwin.

Added

• Support for OCaml 4.13 (#330, @emillon)

Additions

• Compatibility with OCaml 4.13 (ocaml/odoc#699, @Octachron)

Added

• Display OCaml warnings in mdx-error blocks (#293, @gpetiot)

Fixed

• Show exceptions in the correct order (#332, @talex5)

Added

• Add --no-auto-open to the default command. It was previously only available for dune-release opam. (#374, @NathanReb)
• Add a config create subcommand to create a fresh configuration if you don't have one yet (#373, @NathanReb)
• Add --local-repo, --remote-repo and --opam-repo options to the default command, they used to be only available for the opam subcommand (#363, @NathanReb)
• Add a --token option to dune-release publish and dune-release opam commands to specify a github token. This allows dune-release to be called through a Github Actions workflow and use the github token through an environment variable. (#284 #368, @gpetiot @NathanReb)
• Log curl calls on verbose/debug mode (#281, @gpetiot)
• Try to publish the release asset again after it failed (#272, @gpetiot)
• Improve error reporting of failing git comands (#257, @gpetiot)
• Suggest a solution for users without ssh setup (#304, @pitag-ha)
• Allow including git submodules to the distrib tarball by passing the --include-submodules flag to dune-release, dune-release bistro or dune-release distrib (#300, @NathanReb)
• Support 'git://' scheme for dev-repo uri (#331, @gpetiot)
• Support creation of draft releases and draft PRs. Define a new option --draft for dune-release publish and dune-release opam submit commands. (#248, @gpetiot)
• Add a new command check to check the prerequisites of dune-release and avoid starting a release process that couldn't be finished (#318, #351, @pitag-ha)
• When preparing the opam-repository PR and pushing the local branch to the user's remote opam-repository fork, use --set-upstream to ease any further update of the PR (#350, @gpetiot)

Changed

• Entirely rely on the remote fork of opam-repository URL in opam submit instead of reading the user separately. The information was redundant and could only lead to bugs when unproperly set. (#372, @NathanReb)
• Use pure token authentication for Github API requests rather than "token as passwords" authentication (#369, @NathanReb)
• Require tokens earlier in the execution of commands that use the github API. If the token isn't saved to the user's configuration, the prompt for creating one will show up at the command startup rather than on sending the first request (#368, @NathanReb)
• Attach the changelog to the annotated tag message (#283, @gpetiot)
• Do not remove versioned files from the tarball anymore. We used to exclude .gitignore, .gitattributes and other such files from the archive. (#299, @NathanReb)
• Don't try to push the tag if it is already present and point to the same ref on the remote. dune-release must guess which URI to pass to git push and may guess it wrong. This change allows users to push the tag manually to avoid using that code. (#219, @Julow)
• Don't try to create the release if it is already present and points to the same tag (#277, @kit-ty-kate)
• Recursively exclude all .git/.hg files and folders from the distrib tarball (#300, @NathanReb)
• Make the automatic dune-release workflow to stop if a step exits with a non-zero code (#332, @gpetiot)
• Make git-related mdx tests more robust in unusual environments (#334, @sternenseemann)
• Set the default tag message to "Release " instead of "Distribution "
• Opam file linter: check for synopsis instead of description (#291, @kit-ty-kate)
• Upgrade the use of the opam libraries to opam 2.1 (#343, @kit-ty-kate)

Deprecated

• Deprecate the --user CLI options and configuration field, they were redundant with the remote-repo option and field and could be set unproperly, leading to bugs (#372, @NathanReb)
• Deprecate the use of delegates in dune-release publish (#276, #302, @pitag-ha)
• Deprecate the use of opam file format 1.x (#352, @NathanReb)

Removed

• Option --name is removed from all commands. When used with dune-release distrib, it was previously effectively ignored. Now it is required to add a (name <name>) stanza to dune-project. (#327, @lehy)

Fixed

• Fix a bug where opam submit would look up a config file, even though all the required information was provided on the command line. This would lead to starting the interactive config creation quizz if that file did not exist which made it impossible to use it in a CI for instance. (#373, @NathanReb)
• Fix a bug where opam submit would fail on non-github repositories if the user had no configuration file (#372, @NathanReb)
• Fix a bug where subcommands wouldn't properly read the token files, leading to authentication failures on API requests (#368, @NathanReb)
• Fix a bug in opam submit preventing non-github users to create the opam-repo PR via dune-release. (#359, @NathanReb)
• Fix a bug where opam submit would try to parse the custom URI provided through --distrib-uri as a github repo URI instead of using the dev-repo (#358, @NathanReb)
• Fix the priority of the --distrib-uri option in dune-release opam pkg. It used to have lower precedence than the url file written by dune-release publish and therefore made it impossible to overwrite it if needed. (#255, @NathanReb)
• Fix a bug with --distrib-file in dune-release opam pkg where you would need the regular dune-release generated archive to be around even though you specified a custom distrib archive file. (#255, @NathanReb)
• Use int64 for timestamps. (#261, @gpetiot)
• Define the order of packages (#263, @gpetiot)
• Allow the dry-run mode to continue even after some API call's response were expected by using placeholder values (#262, @gpetiot)
• Build and run tests for all selected packages when checking distribution tarball (#266, @NathanReb)
• Improve trimming of the changelog to preserve the indentation of the list of changes. (#268, @gpetiot)
• Trim the data of the url file before filling the url.src field. This fixes an issue that caused the url.src field to be a multi-line string instead of single line. (#270, @gpetiot)
• Fix a bug causing dune-release to exclude all hidden files and folders (starting with .) at the repository from the distrib archive (#298, @NathanReb)
• Better report GitHub API errors, all of the error messages reported by the GitHub API are now checked and reported to the user. (#290, @gpetiot)
• Fix error message when dune-release tag cannot guess the project name (#319, @lehy)
• Always warn about uncommitted changes at the start of dune-release distrib (#325, @lehy). Otherwise uncommitted changes to dune-project would be silently ignored by dune-release distrib.
• Fix rewriting of github references in changelog (#330, @gpetiot)
• Fixes a bug under cygwin where dune-release was unable to find the commit hash corresponding to the release tag (#329, @gpetiot)
• Fixes release names by explicitly setting it to match the released version (#338, @NathanReb)
• Fix a bug that prevented release of a package whose version number contains invalid characters for a git branch. The git branch names are now sanitized. (#271, @gpetiot)
• publish: Fix the process of inferring user name and repo from the dev repo uri (#348, @pitag-ha)

• Added an '--output-patch' option to allow use without a Github account
• Use the latest opam libraries (2.1.0~rc) with better format-preserving printing
• Avoid submission of packages without a reachable archive, except if --force was set or they are conf packages

• Add (enabled_if ...) to (mdx ...) (https://github.com/ocaml/dune/pull/4434, @emillon)

• Add support for instrumentation dependencies (https://github.com/ocaml/dune/pull/4210, fixes https://github.com/ocaml/dune/issues/3983, @nojb)

• Add the possibility to use locks with the cram tests stanza (https://github.com/ocaml/dune/pull/4480, @voodoos)

• Allow to set up merlin in a variant of the default context (https://github.com/ocaml/dune/pull/4145, @TheLortex, @voodoos)

• Add (package ...) to (mdx ...) (https://github.com/ocaml/dune/pull/4691, fixes https://github.com/ocaml/dune/issues/3756, @emillon)

• Handle renaming of coq.kernel library to coq-core.kernel in Coq 8.14 (https://github.com/ocaml/dune/pull/4713, @proux01)

• Fix generation of merlin configuration when using (include_subdirs unqualified) on Windows (https://github.com/ocaml/dune/pull/4745, @nojb)

• Fix bug for the install of Coq native files when using (include_subdirs qualified) (https://github.com/ocaml/dune/pull/4753, @ejgallego)

• Allow users to specify install target directories for doc and etc sections. We add new options --docdir and --etcdir to both Dune's configure and dune install command. (https://github.com/ocaml/dune/pull/4744, fixes https://github.com/ocaml/dune/issues/4723, @ejgallego, thanks to @JasonGross for reporting this issue)

• Fix issue where Dune would ignore (env ... (coq (flags ...))) declarations appearing in dune files (https://github.com/ocaml/dune/pull/4749, fixes https://github.com/ocaml/dune/issues/4566, @ejgallego @rgrinberg)

• Disable some warnings on Coq 8.14 and (lang coq (>= 0.3)) due to the rework of the Coq "native" compilation system (https://github.com/ocaml/dune/pull/4760, @ejgallego)

• Fix a bug where instrumentation flags would be added even if the instrumentatation was disabled (@nojb, https://github.com/ocaml/dune/pull/4770)

• Fix https://github.com/ocaml/dune/issues/4682: option -p takes now precedence on environement variable DUNE_PROFILE (https://github.com/ocaml/dune/pull/4730, https://github.com/ocaml/dune/pull/4774, @bobot, reported by @dra27 https://github.com/ocaml/dune/issues/4632)

• Fix installation with opam of package with dune sites. The .install file is now produced by a local dune install during the build phase (https://github.com/ocaml/dune/pull/4730, https://github.com/ocaml/dune/pull/4645, @bobot, reported by @kit-ty-kate https://github.com/ocaml/dune/issues/4198)

• Fix multiple issues in the sites feature (https://github.com/ocaml/dune/pull/4730, https://github.com/ocaml/dune/pull/4645 @bobot, reported by @Lelio-Brun https://github.com/ocaml/dune/issues/4219, by @Kakadu https://github.com/ocaml/dune/issues/4325, by @toots https://github.com/ocaml/dune/issues/4415)

Features

• Add sub-errors as "related" information in diagnostics (#457)

• Add support for navigating to a symbol inside a workspace (#398)

• Show typed holes as errors

  Merlin has a concept of "typed holes" that are syntactically represented as _. Files that incorporate typed holes are not considered valid OCaml, but Merlin and OCaml-LSP support them. One example when such typed holes can occur is when on "destructs" a value, e.g., destructing (Some 1) will generate code match Some 1 with Some _ -> _ | None -> _. While the first underscore is a valid "match-all"/wildcard pattern, the rest of underscores are typed holes.

• Make ppxlib compatible with 4.13 compiler (#260, @kit-ty-kate)

• Remove OPAMZ3DEBUG evironment variable [#4720 @rjbou - fix #4717]
• Fix format upgrade when there is missing local switches in the config file [#4715 @rjbou - fix #4713]
• Fix not recorded local switch handling, with format upgrade [#4715 @rjbou]
• Set opam root version to 2.1 [#4715 @rjbou]
• Improved and extended tests [#4715 @rjbou]

• Add support for 4.13 (#114, @kit-ty-kate)

• If the current working directory is the home directory, then do not load .ocamlinit (@hyphenrf @copy #338)
• With OCaml 4.12.0 and later, the toplevel uses the toplevel state to exit with the right status code (#348 @octachron)
• Fix color highlight for errors (#350 @chripell)
• Add support for OCaml 4.13 (#353 @kit-ty-kate)

Emacs mode fixes:

• Company text-completion fixes (@leungbk #340)
• utop-query-arguments always returns (utop-arguments) whether it sets the utop-command or not (@dansanduleac #347)
• Fix completion returning bogus candidates (#352 @chripell @rgrinberg)

• (*) Environment variables initialised only at opam client launch, no more via libraries [#4606 #4703 @rjbou]
• (*) Deprecated build-doc, build-test, make flags [#4581 @rjbou]
• (+) Add --confirm-level and OPAMCONFIRMLEVEL for automatic answering [#4582 @rjbou - fix #4168; #4683 @dra27 - fix #4682; #4691 @rjbou - fix #4682]
• (+) Add --no [#4582 @rjbou]
• (+) Add a --with-0install-solver option to the configure script to enable the 'builtin-0install' solver [#4646 @kit-ty-kate]
• Add default CLI mechanism: deprecated options are accepted (in the major version) if no CLI is specified [#4575 @rjbou]
• Add opam config deprecated subcommands in the default CLI [#4575 @rjbou - fix #4503]
• Add CLI versioning for opam environment variables [#4606 @rjbou]
• Add CLI versioning for enums of flags with predefined enums [#4606 @rjbou]
• Clearer messages about using --cli and OPAMCLI [#4655 @dra27]
• The options --root and --switch are now reflected in environment variables when building packages so that calls to opam during build access the correct root and switch [#4668 @LasseBlaauwbroek]
• Add CLI versioning for enums of flags with predefined enums [#4626 @rjbou]
• Preprocess --confirm-level for plugins calls/install [#4694 @rjbou]
• Ensure the symlink for a plugin is maintained on each invocation [#4621 @dra27 - partially fixes #4619]
• Initialise environment variables for plugins call/install [#4582 @rjbou]
• Expect plugins to end in .exe on Windows [#4709 @dra27]
• Introduce a default-invariant config field, restore the 2.0 semantics for default-compiler [#4607 @AltGr]
• Fix default invariant with no system compiler [#4644 @AltGr - fix #4640]
• Perform an hard upgrade on intermediate roots, i.e., root from 2.1~alpha/beta, and keep a light upgrade from 2.0 [#4638 @rjbou]
• Send the 'opam root layout update' message to stderr [#4692 @AltGr]
• If opam root is different from the binary, allow reading it and try to read in best effort mode [#4638 @rjbou - fix #4636]
• Don't check opam system dependencies on reinit after a format upgrade [#4638 @rjbou]
• Fix sys-ocaml-cc, sys-ocaml-arch, and sys-ocaml-libc when no system compiler installed [#4706 @dra27]
• Fix Not_found (config file) in config report [#4570 @rjbou]
• Config report: Print variables of installed compilers and their (installed) dependencies [#4570 @rjbou]
• Don't patch twice file [#4529 @rjbou]
• With --deps-only, set dependencies as root packages [#4964 @rjbou - fix #4502]
• Keep global lock only if root format upgrade is performed [#4612 @rjbou - fix #4597]
• Improve installation times by only tracking files listed in .install instead of the whole switch prefix when there are no install: instructions (and no preinstall commands) [#4494 @kit-ty-kate @rjbou; #4667 @dra27 - fix #4422]
• Scrub opam* environment variables added since 2.0 from package builds to prevent warnings when a package calls opam [#4663 @dra27 - fix #4660]
• Correct the message when more than one depext is missing [#4678 @dra27]
• Only display one conflict message when they are all owing to identical missing depexts [#4678 @dra27]
• Don't exclude base packages from rebuilds (made some sense in opam 2.0 with base packages but doesn't make sense with 2.1 switch invariants) [#4569 @dra27]
• Don't refer to base packages in messages any more [#4623 @dra27 - fixes #4572]
• Give the correct command when demonstrating switch creation [#4675 @dra27 - fixes #4673]
• On switch loading, if invariant is inferred and a write lock required, write the file [#4638 @rjbou]
• Don't look for lock files for pin depends [#4511 @rjbou - fix #4505]
• Fetch sources when pinning an already-pinned package with a different URL when using working directory [#4542 @rjbou - fix #4484]
• Don't ask for confirmation for pinning base packages (similarly makes no sense with 2.1 switch invariants) [#4571 @dra27]
• Fix version pin source retrieving: mustn't error if archive opam file is malformed [#4580 @rjbou]
• opam list --silent renamed to --check [#4595 @dra27 - fix #4323]
• Include doc field in opam-show [#4567 @dra27 - partially fix #4565]
• Fix switch global variable resolving [#4685 @rjbou - fix #4684]
• Fix hash package variable resolving [#4687 @rjbou]
• Lint: Fix W59 & E60 for conf packages (no URL required) [#4550 @rjbou - fix #4549]
• Lint: Fix W59 & E60 with VCS URLs, don't check upstream if URL has VCS backend [#4635 @rjbou]
• Lint: Add E67 checksum specified with non archive URL [#4635 @rjbou]
• Lint: Disable subpath warning E63,W64 [#4638 @rjbou]
• Lint: Fix manpage listing [#4708 @rjbou]
• Don't write lock file with --read-only, --safe, and --dryrun [#4562 @rjbou - fix #4320]
• Make opam lock consistent with opam install. On local pin, always take last opam file even if uncommitted [#4562 @rjbou - fix #4320]
• Opam file: Fix features parser [#4507 @rjbou]
• Opam file: Rename hidden-version to avoid-version [#4527 @dra27]
• Opam file: Fix rewriting with preserved format empty field error [#4634 @rjbou - fix #4628]
• Opam file: Switch config: Defined invariant field as an option to differentiate when it is not defined [#4638 @rjbou]
• Opam file: Differentiate bad format from bad (opam) version with Bad_version exception, raised from OpamFormat.check_opam_version [#4638 @rjbou]
• Opam file: Always print the opam-version field on files [#4638 @rjbou]
• Opam file: Config: add opam-root-version field as a marker for the whole opam root [#4638 @rjbou - fix #4636]
• Opam file: Add BestEffort modules with reading functions that don't show errors, given the opam_file_format internal field [#4638 @rjbou - fix #4636]
• Depext: Handle macport variants [#4509 @rjbou - fix #4297]
• Depext: Always upgrade all the installed packages when installing a new package on Archlinux [#4556 @kit-ty-kate]
• Depext: Handle some additional environment variables (OPAMASSUMEDEPEXTS, OPAMNODEPEXTS) [#4587 @AltGr]
• Depext: Improve messages to hint that answering no doesn't abort installation [#4591 @AltGr]
• Depext: Add support for non-interactive mode in MacPorts [#4676 @kit-ty-kate]
• Depext: Handling of packages of tagged repositories for Alpine [#4700 @rjbou - fix #4670]
• Depext: Clarify some assume-depexts related messages [#4671 @AltGr - partial fix #4662]
• Depext: Warn the user if epel-release is missing and unavailable, depexts are detected [#4679 @dra27 fix #4669]
• Depext: Ignore config yes automatic answering when asking confirmation to run install commands [#4698 @rjbou - fix #4680]
• Sandbox: Fix the conflict with the environment variable name used by Dune [#4535 @smorimoto - fix ocaml/dune#4166]
• Sandbox: Kill builds on Ctrl-C with bubblewrap [#4530 @kit-ty-kate - fix #4400]
• Sandbox: Linux: mount existing TMPDIR read-only, re-bind $TMPDIR to a separate TMPFs [#4589 @AltGr]
• Sandbox: Fix the sandbox check [#4589 @AltGr]
• Sandbox: Fix sandbox script shell mistake that made PWD read-write on remove actions [#4589 @AltGr]
• Sandbox: Port bwrap improvements to sandbox_exec [#4589 @AltGr]
• Sandbox: Fix realpath use for macOS, partial revert of #4589 [#4609 @AltGr]
• Add missing shell quoting to support space and special shell characters in switch directory path [#4707 @kit-ty-kate]
• Rename state.cache to include the OpamVersion.magic() string. All .cache files are deleted if any cache file is written to, allowing multiple versions of the library to coexist without constantly regenerating it [#4642 @dra27 - fix #4554]
• Fix cuDF preprocessing [#4534 #4627 @AltGr - fix #4624]
• Allow to upgrade to a hidden-version package if a hidden-version package is already installed [#4525 @kit-ty-kate]
• Add support for a few select criteria useful to CI to the 0install solver: +count[version-lag,solution] to always choose the oldest version available, +removed to not try to keep installed packages [#4631 @kit-ty-kate]
• Fix opam-devel's tests on platforms without OpenSSL, GNU-diff, and a system-wide OCaml [#4500 @kit-ty-kate]
• Use Dune to run reftests [#4376 @emillon]
• Restrict extlib and dose version [#4517 @kit-ty-kate]
• Restrict to opam-file-format.2.1.2 [#4495 @rjbou]
• Require opam-file-format.2.1.3+ in order to enforce opam-version: "2.1" as first non-comment line [#4639 @dra27 - fix #4394]
• Switch to newer version of MCCS (based on newer GLPK) for src_ext [#4559 @AltGr]
• Bump Dune version to 2.8.2 [#4592 @AltGr]
• Bump the minimal Dune requirement to Dune 1.11 [#4437 @dra27 @kit-ty-kate]
• 4.12 compatibility [#4437 @dra27 @kit-ty-kate]
• Cold compiler updated to 4.12 [#4616 @dra27]
• Fix build from source when a dune-project file is presented in the parent directory [#4545 @kit-ty-kate]
• Fix build from source when a dune-project file is presented in the parent directory [#4545 @kit-ty-kate - fix #4537]
• Fix opam-devel.install not to install two files called opam [#4664 @dra27]
• Build release tags as non-dev versions, as for release tarballs [#4665 @dra27 - fix #4656]
• Disable dev version for tests (needed for format upgrade test) [#4638 @rjbou]
• Add a hint for missing openssl in make cold [#4702 @rjbou]
• Remove test field from opam-devel, they need the network [#4702 @rjbou]
• Update src_ext for Dune and MCCS [#4704 @dra27]
• Release scripts: switch to OCaml 4.10.2 by default, add macOS/ARM64 builds by default [#4559 @AltGr]
• Release scripts: add default CLI version check on full archive build [#4575 @rjbou]
• Arg: Generalise mk_tristate_opt to mk_state_opt [#4575 @rjbou]
• Arg: Fix mk_state_opt and rename to mk_enum_opt [#4626 @rjbou]
• Arg: Add mk_enum_opt_all for state flags that appears more than once [#4582 @rjbou]
• Fix opam exec on native Windows when calling Cygwin executables [#4588 @AltGr]
• Fix temporary file with a too long name causing errors on Windows [#4590 @AltGr]
• CLI: Add flag deprecation and replacement helper [#4595 @rjbou]
• Win32 Console: fix VT100 support [#3897 #4710 @dra27]
• Tidied the opam files [#4620 @dra27]
• Externalise CLI versioning tools from OpamArg into OpamArgTools [#4606 @rjbou]
• Each library defines its own environment variables that fills the config record [#4606 @rjbou]
• Harden cygpath wrapper [#4625 @dra27]
• Reset the plugin symlinks when the root is upgraded [#4641 @dra27 - partial fix for #4619]
• Formalise opam dev version detection with OpamVersion.is_dev_version [#4665 @dra27]
• Add OpamStd.String.is_prefix_of [#4694 @rjbou @dra27]
• Fix OpamStd.Format.pretty_list: last argument dropped if list contains more than 2 elements [#4694 @rjbou]
• Run the shell hooks with closed stdin (bash, zsh) [#4692 @AltGr]
• Improved and extended tests [#4376 #4504 #4545 #4612 #4668 #4612 #4634 #4672 #4638 #4702 #4697 #4697 @AltGr @dra27 @emillon @rjbou]
• Improve GitHub Actions [#4593 #4575 #4610 #4610 #4618 #4606 #4695 #4695 @AltGr @dra27 @rjbou]
• Improve documentation [#4496 #4506 #4513 #4637 #4681 #4702 @dannywillems @eth-arm @kit-ty-kate @rjbou @UnixJunkie]

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