OCaml Changelog

• Fix auto-generated index.mld. Use correct headings for the listing. (#1925, @rgrinberg, @aantron)

• Correctly write dune-package when version is empty string (#1919, fix #1918, @rgrinberg)

Changes

• All parsing errors are now recoverable warnings (#238).
• Page titles are now level-0 headings ({0 ...}), and top-level sections within a page are level-1 headings ({1 ...}) (#217, Rizo Isrof).
• Don't render definitions of externals (#275, Nik Graf).
• Disable programming ligatures (#248).
• Rename --root-uri option to --xref-base-uri (#223, Rizo Isrof).
• Deprecate redundant reference kind annotations (#246).

Additions

• Preliminary compatibility with the current 4.08 beta releases (#309, Jon Ludlam).
• Paragraph headings ({4 ...}) and subparagraph headings ({5 ...}) (#217, Rizo Isrof).
• odoc support-files-targets command (#232).
• Recommend bsdoc for using odoc with BuckleScript (#269, Leandro Ostera).

Bugs fixed

• Improve breadcrumbs on .mld pages (#293, Daniel Buenzli).
• Display tables of contents in nested module and class pages (#261, Rizo Isrof).
• Uncaught exception when parsing references to operators with - in them, such as @-> (#178).
• Incorrect parsing of references to operators with . in them, such as *. (#237).
• Assertion failure when processing optional arguments in an .ml file with a type annotation, when that type annotation uses an alias of 'a option (#101).
• Assertion failure when two modules with the same name are found by odoc (#148, Jon Ludlam).
• Verbatim blocks ({v ... v}) can now only be terminated if the v} is immediately preceded by whitespace (#71, reported Daniel Buenzli).
• Wrong column numbers for errors reported in comments (#227, #253).
• Restore parsing of ocamldoc-style reference kind annotations (#244).
• Ordinary type keyword instead of and rendered in HTML for mutually-recursive types (#105, reported @Fourchaux).
• nonrec keyword not rendered (#249).
• and not rendered for mutually-recursive modules, classes, and class types (#251).
• Outer comment attached to a module rendered when the module is included (#87, Jon Ludlam).
• Polymorphic variant constructor documentation not rendered (#176, reported @steinuil).
• Variant constructor and record field documentation styled differently (#260, Jon Ludlam).
• Sloppy keyword markup in HTML output (#319).
• Rendering of multiple constraint clauses (#321).
• Incorrect order of functor arguments (#261, Rizo Isrof).
• odoc html option -o now creates the output directory if it does not exist #171, #264 Rizo Isrof).
• odoc html-targets output now includes path prefix given through -o option (#173, Rizo Isrof).
• Allow -I and -o options to refer to non-existent directories (#32, #170, Daniel Buenzli).
• Make odoc compile-targets match odoc compile (#273, Daniel Buenzli).
• odoc compile-deps does not work on .cmt files (#162, Daniel Buenzli).
• odoc html-deps now scans for .odoc files recursively (#307, Daniel Buenzli).
• odoc html-targets ignores stop comments (#276, Daniel Buenzli).
• odoc html-targets and odoc html-deps segfault on .mld pages (#277, #282, Daneil Buenzli).
• --theme-uri option not propagated to some subpages (#318, Thomas Refis).
• Binary files not opened in binary mode (#281, Ulrik Strid).

Build and development

• Always print backtraces for unhandled exceptions (3d10feb).
• CI on macOS (#216, Leandro Ostera).
• Test runner improvements (#266, Rizo Isrof).
• Fix esy builds in Travis (#301, Jon Ludlam).
• Don't require make in the esy build (#308, Leandro Ostera).
• Get rid of some large GADTs (#292, Jon Ludlam).
• Remove dependency on bos (#305, Daniel Buenzli).
• Remove dependency on rresult (#306, Daniel Buenzli).
• Remove dependency on bisect_ppx, previously present in development checkouts (#316).

• Clean up watch mode polling loop: improves signal handling and error handling during polling (#1912, fix #1907, fix #1671, @aalekseyev)

• Change status messages during polling to be one-line, so that the messages are correctly erased by ^K. (#1912, @aalekseyev)

• Add support for .cxx extension for C++ stubs (#1831, @rgrinberg)

• Add DUNE_WORKSPACE variable. This variable is equivalent to setting --workspace in the command line. (#1711, fix #1503, @rgrinberg)

• Add c_flags and cxx_flags to env profile settings (#1700 and #1800, @gretay-js)

• Format dune printenv output (#1867, fix #1862, @emillon)

• Add the (promote-into <dir>) and `(promote-until-clean-into

  )` modes for `(rule ...)` stanzas, so that files can be promoted in another directory than the current one. For instance, this is used in merlin to promote menhir generated files in a directory that depends on the version of the compiler (#1890, @jeremiedimino)

• Improve error message when dune subst fails (#1898, fix #1897, @rgrinberg)

• Add more GC counters to catapult traces (fix908, @rgrinberg)

• Add a preprocessor shim for the let+ syntax of OCaml 4.08 (#1899, implements #1891, @jeremiedimino)

• Fix generation of .merlin files on Windows. \ characters needed to be escaped (#1869, @mlasson)

• Fix 0 error code when $ dune format-dune-file fails. (#1915, fix #1914, @rgrinberg)

• Configurator: deprecated query_expr and introduced query_expr_err which is the same but with a better error in case it fails. (#1886, @ejgallego)

• Make sure (menhir (mode promote) ...) stanzas are ignored when using --ignore-promoted-rules or -p (#1917, @jeremiedimino)

• Updated readme file with the new features: dune rules, named environment and ocaml versions, Some grammar correction too (@gpetiot, #101, aantron, #102)
• Better lexer error messages (@avsm, #103)
• Added cram syntax parsing (@trefis, #106)
• Renamed mdx to ocaml-mdx to avoid conflicts/for more precision (@clecat, #110, #115)
• Fix blank spaces causing parsing errors (@gpetiot, #97)
• Fix empty lines causing a String.sub (@clecat, #107)

• Fix interpretation of META files containing archives with / in the filename. For instance, this was causing llvm to be unusable with dune (#1889, fix #1885, @diml)

• Make errors about menhir stanzas be located (#1881, fix #1876, @diml)

• Add ${corrected-suffix}, ${library-name} and a few other variables to the list of variables to upgrade. This fixes the support for various framework producing corrections (#1840, #1853, @diml)

• Fix $ dune subst failing because the build directory wasn't set. (#1854, fix #1846, @rgrinberg)

• Configurator: Add warning to Pkg_config.query when a full package expression is used. Add Pkg_config.query_expr for cases when the full power of pkg-config's querying is needed (#1842, fix #1833, @rgrinberg)

• Fix unavailable, optional implementations eagerly breaking the build (#1857, fix #1856, @rgrinberg)

• Fix the watch mode (#1837, #1839, fix #1836, @diml)

• Configurator: Fix misquoting when running pkg-config (#1835, fix #1833, @Chris00)

• Second step of the deprecation of jbuilder: the jbuilder binary now emits a warning on every startup and both jbuilder and dune emit warnings when encountering jbuild files (#1752, @jeremiedimino)

• Change the layout of build artifacts inside _build. The new layout enables optimizations that depend on the presence of .cmx files of private modules (#1676, @bobot)

• Fix merlin handling of private module visibility (#1653 @bobot)

• unstable-fmt: use boxes to wrap some lists (#1608, fix #1153, @emillon, thanks to @rgrinberg)

• skip directories when looking up programs in the PATH (#1628, fixes #1616, @jeremiedimino)

• Use lsof on macOS to implement --stats (#1636, fixes #1634, @xclerc)

• Generate dune-package files for every package. These files are installed and read instead of META files whenever they are available (#1329, @rgrinberg)

• Fix preprocessing for libraries with (include_subdirs ..) (#1624, fix #1626, @nojb, @rgrinberg)

• Do not generate targets for archive that don't match the modes field. (#1632, fix #1617, @rgrinberg)

• When executing actions, open files lazily and close them as soon as possible in order to reduce the maximum number of file descriptors opened by Dune (#1635, #1643, fixes #1633, @jonludlam, @rgrinberg, @jeremiedimino)

• Reimplement the core of Dune using a new generic memoization system (#1489, @rudihorn, @jeremiedimino)

• Replace the broken cycle detection algorithm by a state of the art one from this paper (#1489, @rudihorn)

• Get the correct environment node for multi project workspaces (#1648, @rgrinberg)

• Add dune compute to call internal memoized functions (#1528, @rudihorn, @jeremiedimino)

• Add --trace-file option to trace dune internals (#1639, fix #1180, @emillon)

• Add --no-print-directory (borrowed from GNU make) to suppress Entering directory messages. (#1668, @dra27)

• Remove --stats and track fd usage in --trace-file (#1667, @emillon)

• Add virtual libraries feature and enable it by default (#1430 fixes #921, @rgrinberg)

• Fix handling of Control+C in watch mode (#1678, fixes #1671, @jeremiedimino)

• Look for jsoo runtime in the same dir as the js_of_ocaml binary when the ocamlfind package is not available (#1467, @nojb)

• Make the seq package available for OCaml >= 4.07 (#1714, @rgrinberg)

• Add locations to error messages where a rule fails to generate targets and rules that require files outside the build/source directory. (#1708, fixes #848, @rgrinberg)

• Let Configurator handle sizeof (in addition to negative numbers). (#1726, fixes #1723, @Chris00)

• Fix an issue causing menhir generated parsers to fail to build in some cases. The fix is to systematically use -short-paths when calling ocamlc -i (#1743, fix #1504, @jeremiedimino)

• Never raise when printing located errors. The code that would print the location excerpts was prone to raising. (#1744, fix #1736, @rgrinberg)

• Add a dune upgrade command for upgrading jbuilder projects to Dune (#1749, @jeremiedimino)

• When automatically creating a dune-project file, insert the detected name in it (#1749, @jeremiedimino)

• Add (implicit_transitive_deps <bool>) mode to dune projects. When this mode is turned off, transitive dependencies are not accessible. Only listed dependencies are directly accessible. (#1734, #430, @rgrinberg, @hnrgrgr)

• Add toplevel stanza. This stanza is used to define toplevels with libraries already preloaded. (#1713, @rgrinberg)

• Generate .merlin files that account for normal preprocessors defined using a subset of the action language. (#1768, @rgrinberg)

• Emit (orig_src_dir <path>) metadata in dune-package for dune packages built with --store-orig-source-dir command line flag (also controlled by DUNE_STORE_ORIG_SOURCE_DIR env variable). This is later used to generate .merlin with S-directives pointed to original source locations and thus allowing merlin to see those. (#1750, @andreypopp)

• Improve the behavior of dune promote when the files to be promoted have been deleted. (#1775, fixes #1772, @jeremiedimino)

• unstable-fmt: preserve comments (#1766, @emillon)

• Pass flags correctly when using staged_pps (#1779, fixes #1774, @jeremiedimino)

• Fix an issue with the use of (mode promote) in the menhir stanza. It was previously causing intermediate mock files to be promoted (#1783, fixes #1781, @jeremiedimino)

• unstable-fmt: ignore files using OCaml syntax (#1784, @emillon)

• Configurator: Add which function to replace the which command line utility in a cross platform way. (#1773, fixes #1705, @Chris00)

• Make configurator append paths to $PKG_CONFIG_PATH on macOS. Previously it was prepending paths and thus $PKG_CONFIG_PATH set by users could have been overridden by homebrew installed libraries (#1785, @andreypopp)

• Disallow c/cxx sources that share an object file in the same stubs archive. This means that foo.c and foo.cpp can no longer exist in the same library. (#1788, @rgrinberg)

• Forbid use of %{targets} (or ${@} in jbuild files) inside preprocessing actions (#1812, fixes #1811, @jeremiedimino)

• Add DUNE_PROFILE environment variable to easily set the profile. (#1806, @rgrinberg)

• Deprecate the undocumented (no_keep_locs) field. It was only necessary until virtual libraries were supported (#1822, fix #1816, @jeremiedimino)

• Rename unstable-fmt to format-dune-file and remove its --inplace option. (#1821, @emillon).

• Autoformatting: (using fmt 1.1) will also format dune files (#1821, @emillon).

• Autoformatting: record dependencies on .ocamlformat-ignore files (#1824, fixes #1793, @emillon)

• Add cool screenshot to README (#259 @rizo) and update links (#257 @bobot)
• Improve robustness by using more tail-recursive functions (#251 @gpetiot)
• Remove deprecation warnings in newer compilers (#246 @ncihnegn)
• Minimum OCaml version supported is now 4.03.0 (#254 @XVilka)
• Publish API documentation online and add doc: entry to opam file (#270 @avsm)
• Port build to dune from jbuilder (#268 @avsm)
• Upgrade local opam metadata to opam 2.0 format (#268 @avsm)

• Remove unused ocamlfind dependency in the opam file (#53, @diml)
• Add --print-transformations to list registered transformations (#55, @rgrinberg)
• Fix Windows compatibility by setting the output to binary mode when writing a binary ast (#57, #59, @bryphe and @dra27)
• Switch to dune and opam 2.0 (#58, #60, @diml)

• Add an (** @inline *) to the include generated when silencing warning 32 (#58, @trefis)

• Add Ppxlib.mk_named_sig and Ppxlib.is_polymorphic_variant (#57, @trefis)

• Support end-of-line ellipsis (@dra27, #85)
• Support OCaml 4.02.3 (@gpetiot, #86)
• Support version=.., version<=.. and version>=.. keywords to run a code-block depending on the currently installed OCaml version (@gpetiot, #87, #90)
• Upgrade Travis tests to use opam 2.0.2 (@avsm, #89)
• Do not depend on ppx_tools for toplevel (@avsm, #89)
• Fix embedding in a larger Dune project with a cppo override (@avsm, #89)
• mdx output: escape HTML entities in code blocks (#91, @samoht)
• Add a mechanism to promote files to blocks and blocks to file (@gpetiot, #37)
• Support multiple toplevel environments (@gpetiot, #38)
• Use ocaml-migrate-parsetree to compile in 4.06.1 & 4.07.0 (@gpetiot, #41)
• Add a mdx rule command to generate dune rules (@gpetiot, #44)
• Add a mdx output command to generate an HTML document (@samoht, #45)
• Support empty code blocks (@samoht, #46)
• Fix detection of OCaml code/toplevel (@samoht, #47)
• Better handling of multi-line shell scripts (@samoht, #48)
• Fix regression in toplevel blocks when creating newtype (@samoht, #49)
• Fix evaluation of non-determinitic test (@samoht, #50)
• Improve mdx rules to take into account more precise dependencies (@samoht, #51)
• Fix promotion of blocks to complete ML files (@samoht, #52)
• mdx does not use the cppo library, just the binary (@samoht, #53)
• fix ellipsis in code blocks (@samoht, #57)
• Fix relative paths for promoted blocks to files (@samoht, #58)
• Fix location of errors for multi-line commands (@samoht, #60)
• improve the parser for shell blocks (@samoht, #61)
• Allow to load preludes in specific environments (@samoht, #63)
• Fix evaluation of code after directives in prelude (@samoht, #64)
• Improve promotion to ml files (@samoht, #66)
• mdx rule: generates (source_tree) dependencies for directory metadata (@samoht, #67)
• Fix handling of 'module type' in multiple toplevel environment (@samoht, #68)
• Add an eval=false label to skip the evaluation of a code block (@samoht, #69)
• Fix parsing of shell blocks with multiple exit codes (@samoht, #71)
• Support source-tree as extra block metadata (@samoht, #72)
• Better formatting of non-compiling promoted contents (@samoht, #73)
• Be sure to remove the .corrected files if the promotion to ML file works (mdx74)
• Add missing dependency in test/dune (@samoht, #75)
• Support dir=.. labels in ml code blocks (@samoht, #76)
• Allow to promote to mli files too (@samoht, #77)
• Support multi-line strings (@samoht, #78)
• fail (and exit 1) if prelude and ml blocks cannot be evaluated properly (@samoht, #80, @samoht, #83)
• Allow to pass --root to mdx rule (@samoht, #81)
• mdx rule: do not add (package mdx) in the dependencies (@samoht, #82)

• Fix merlin handling of private module visibility (#1653 @bobot)

• skip directories when looking up programs in the PATH (#1628, fixes #1616, @jeremiedimino)

• Fix preprocessing for libraries with (include_subdirs ..) (#1624, fix #1626, @nojb, @rgrinberg)

• Do not generate targets for archive that don't match the modes field. (#1632, fix #1617, @rgrinberg)

• When executing actions, open files lazily and close them as soon as possible in order to reduce the maximum number of file descriptors opened by Dune (#1635, #1643, fixes #1633, @jonludlam, @rgrinberg, @jeremiedimino)

• Do not generate targets for archive that don't match the modes field. (#1632, fix #1617, @rgrinberg)

• Get the correct environment node for multi project workspaces (#1648, @rgrinberg)

• Fix an issue causing menhir generated parsers to fail to build in some cases. The fix is to systematically use -short-paths when calling ocamlc -i (#1743, fix #1504, @jeremiedimino)

• Do not report errors about dropped or uninterpreted attributes starting with _ (#46, fix #40, @diml)
• Fix he special_function rule for dotted operators and allow Longident.parse to parse dotted operators (#44, @Octachron)
• Port to dune and remove use of bash (#45, @rgrinberg)
• Ignore all attribites starting with _ (#46, @diml)
• Reserve the reason and refmt namespaces (#46, @diml)
• Reserve the metaocaml namespace (#50, @rgrinberg)
• Fix attribute extraction for Otag/Rtag (#51, @xclerc)
• Do not relocate files unless -loc-filename is passed (#55, @hhugo)
• Preserve the filename in the output (#56, @hhugo)

• Fix regression introduced by #1554 reported in: https://github.com/ocaml/dune/issues/734#issuecomment-444177134 (#1612, @rgrinberg)

• Fix dune external-lib-deps when preprocessors are not installed (#1607, @diml)

• Fix hash collision for on-demand ppx rewriters once and for all (#1602, fixes #1524, @diml)

• Add dune external-lib-deps --sexp --unstable-by-dir so that the output can be easily processed by a machine (#1599, @diml)

• Expand variables in install stanzas (#1354, @mseri)

• Add predicate language support for specifying sub directories. This allows the use globs, set operations, and special values in specifying the sub directories used for the build. For example: (dirs :standard \ lib*) will use all directories except those that start with lib. (#1517, #1568, @rgrinberg)

• Add binaries field to the (env ..) stanza. This field sets and overrides binaries for rules defined in a directory. (#1521, @rgrinberg)

• Fix a crash caused by using an extension in a project without dune-project file (#1535, fix #1529, @jeremiedimino)

• Allow %{bin:..}, %{exe:..}, and other static expansions in the deps field. (#1155, fix #1531, @rgrinberg)

• Fix bad interaction between on-demand ppx rewriters and using multiple build contexts (#1545, @jeremiedimino)

• Fix handling of installed .dune files when the backend is declared via a dune file (#1551, fixes #1549, @jeremiedimino)

• Add a --stats command line option to record resource usage (#1543, @jeremiedimino)

• Fix dune build @doc deleting highlight.pack.js on rebuilds, after the first build (#1557, @aantron).

• Allow targets to be directories, which Dune will treat opaquely (#1547, @jordwalke)

• Support for OCaml 4.08: List.t is now provided by OCaml (#1561, @ejgallego)

• Exclude the local esy directory (_esy) from the list of watched directories (#1578, @andreypopp)

• Fix the output of dune external-lib-deps (#1594, @jeremiedimino)

• Introduce data_only_dirs to replace ignored_subdirs. ignored_subdirs is deprecated since 1.6. (#1590, @rgrinberg)

• Add dune external-lib-deps --sexp --unstable-by-dir so that the output can be easily processed by a machine (#1599, @jeremiedimino)

• lots of small fixes
• better handling of attributes and extension points
• better handling of GADT definitions
• fixed a stack-overflow on extremely large files
• indent the same (1 step) after let f = fun x -> and let f =\n fun x ->
• build using dune

• Fix dune utop <dir> when invoked from a sub-directory of the project (#1520, fix #1518, @diml)

• Fix bad interaction between on-demand ppx rewriters and polling mode (#1525, fix #1524, @diml)

• Filter out empty paths from OCAMLPATH and PATH (#1436, @rgrinberg)

• Do not add the lib.cma.js target in lib's directory. Put this target in a sub directory instead. (#1435, fix #1302, @rgrinberg)

• Install generated OCaml files with a .ml rather than a .ml-gen extension (#1425, fix #1414, @rgrinberg)

• Allow to use the bigarray library in >= 4.07 without ocamlfind and without installing the corresponding otherlib. (#1455, @nojb)

• Add @all alias to build all targets defined in a directory (#1409, fix #1220, @rgrinberg)

• Add @check alias to build all targets required for type checking and tooling support. (#1447, fix #1220, @rgrinberg)

• Produce the odoc index page with the content wrapper to make it consistent with odoc's theming (#1469, @rizo)

• Unblock signals in processes started by dune (#1461, fixes #1451, @jeremiedimino)

• Respect OCAMLFIND_TOOLCHAIN and add a toolchain option to contexts in the workspace file. (#1449, fix #1413, @rgrinberg)

• Fix error message when using copy_files stanza to copy files from a non sub directory with lang set to dune < 1.3 (#1486, fixes #1485, @NathanReb)

• Install man pages in the correct subdirectory (#1483, fixes #1441, @emillon)

• Fix version syntax check for test stanza's action field. Only emits a warning for retro-compatibility (#1474, fixes #1471, @NathanReb)

• Fix interpretation of paths in env stanzas (#1509, fixes #1508, @jeremiedimino)

• Add context_name expansion variable (#1507, @rgrinberg)

• Use shorter paths for generated on-demand ppx drivers. This is to help Windows builds where paths are limited in length (#1511, fixes #1497, @jeremiedimino)

• Fix interpretation of environment variables under setenv. Also forbid dynamic environment names or values (#1503, @rgrinberg).

• Remove the status and log commands (#95, @samoht)
• Fix dune-release publish doc when using multiple packages (#96, @samoht)
• Fix inferred package name when reading dune-project files (#104. @samoht)
• Add .ps and .eps files to default files excluded from watermarking (backport of dbuenzli/topkg@6cf1eae)
• Fix distribution uri when homepage is using github.io (#102, @samoht)
• dune-release lint now checks that a description and a synopsis exist in opam2 files (#101, @samoht)
• Add a more explicit error message if git checkout fails in the local opam-repository (#98, @samoht)
• Do not create an extra _html folder when publishing docs on Linux (#94, @anuragsoni and @samoht)

Additions

• Reason syntax output (#156, Patrick Stapfer).
• BuckleScript support (#179, Leandro Ostera).
• New CSS, appearance (#139, Rizo Isrof).
• Table of contents for the sections in each page (fe26392).
• Navigation breadcrumbs, and limit length of module paths in page titles (#150, Yotam Barnoy).
• Syntax highlighting of code blocks (99f2be9).
• Compiled odoc binary is now self-contained and requires no external files (bd3b53c).
• --theme-uri option (#154, Rizo Isrof).
• Option to convert .mld to HTML fragments rather than complete pages (#166, Rizo Isrof).

Bugs fixed

• Use regular dashes in arrows to support ligature fonts (#180, Leandro Ostera).
• Do not excessively indent code blocks (#133, Bobby Priambodo).
• Always prepend page- to output file name when compiling .mld files (#183, Rizo Isrof).
• Support floatarray type introduced in OCaml 4.06 (eb36158, Thomas Refis).
• Support destructive type substitution (57cbb4e, Thomas Refis).
• Render <i> tags in italics (#104, Thibault Suzanne).
• Flush HTML output correctly (#167, Rizo Isrof).
• Make HTML output more valid (#185, Leandro Ostera).
• Various improvements to parsing, output, documentation, and the development workflow (Yotam Barnoy, Luke Czyszczonik, Mohamed Elsharnouby, Rudi Grinberg, Rizo Isrof, Leandro Ostera, Bobby Priambodo, Thomas Refis, Patrick Stapfer).

Build and development

• odoc is now one repo.
• Dropped several dependencies.
• Considerable refactoring.
• New commnt parser (78a6699).
• Improved development workflow, including CONTRIBUTING.md, tests, coverage analysis, CI, and issue organization.
• Initial NPM packaging (Leandro Ostera, #214).
• Skeleton of odoc manual (Leandro Ostera, #203).

• Handle descr, url and files in the rewriting
• Minor fix

• Update cmt magic number for 4.07.1

• Do not fail if the output of ocamlc -config doesn't include standard_runtime (#1326, @jeremiedimino)

• Let Configurator.V1.C_define.import handle negative integers (#1334, @Chris00)

• Re-execute actions when a target is modified by the user inside _build (#1343, fix #1342, @jeremiedimino)

• Pass --set-switch to opam (#1341, fix #1337, @jeremiedimino)

• Fix bad interaction between multi-directory libraries the menhir stanza (#1373, fix #1372, @jeremiedimino)

• Integration with automatic formatters (#1252, fix #1201, @emillon)

• Better error message when using (self_build_stubs_archive ...) and (c_names ...) or (cxx_names ...) simultaneously. (#1375, fix #1306, @nojb)

• Improve name detection for packages when the prefix isn't an actual package (#1361, fix #1360, @rgrinberg)

• Support for new menhir rules (#863, fix #305, @fpottier, @rgrinberg)

• Do not remove flags when compiling compatibility modules for wrapped mode (#1382, fix #1364, @rgrinberg)

• Fix reason support when using staged_pps (#1384, @charlesetc)

• Add support for enabled_if in rule, menhir, ocamllex, ocamlyacc (#1387, @jeremiedimino)

• Exit gracefully when a signal is received (#1366, @jeremiedimino)

• Load all defined libraries recursively into utop (#1384, fix #1344, @rgrinberg)

• Allow to use libraries bytes, result and uchar without findlib installed (#1391, @nojb)

• Take argument to self_build_stubs_archive into account. (#1395, @nojb)

• Fix bad interaction between env customization and vendored projects: when a vendored project didn't have its own env stanza, the env stanza from the enclosing project was in effect (#1408, @jeremiedimino)

• Fix stop early bug when scanning for watermarks (#1423, @struktured)

• Improve: set break-sequences in sparse and compact profiles (#455, @jberdine)
• Improve: keep a space inside tuples parens (#453, @gpetiot)
• Improve: --root option to isolate configuration files (#402, @gpetiot)
• Fix: missing parens around partially-applied :: (#452, @jberdine)
• Fix: parens around expressions with attributes (#441, @gpetiot)
• Build: do not execute shell scripts directly in build (#448, @dra27)
• Add: read ocp indent config files (#445, @gpetiot)
• Improve: option 'break-sequences' (#434, @gpetiot)
• Improve: option 'no-indicate-multiline-delimiters' to have less whitespaces (#429, @gpetiot)
• Fix: outdent before arrow (#444, @gpetiot)
• Improve: User documentation (#449, @gpetiot)
• Improve: option 'cases-exp-indent' to adjust indent (#428, @gpetiot)
• Add: compact and sparse profiles (#408, @jberdine)
• Improve: explicit error message in case of 'permission denied' error (#425, @gpetiot)
• Fix: comment stabilization in Pexp_override (#422, @gpetiot)
• Fix: corner case while formatting type variables (#440, @hhugo)
• Fix: many missing comments (#418, @hhugo)
• Fix: asserts and attributes (#414, @hhugo)
• Fix: extension and attribute (#417, @hhugo)
• Improve: support for function%ext (#416, @hhugo)
• Fix: Inconsistent spacing around comments in signatures vs structures (#437, @gpetiot)
• Improve: better error with location when comment dropped (#401, @gpetiot)
• Fix doc comments (#413, @hhugo)
• Improve: use input_name for error messages (@hhugo)
• Improve: break after inherit (@hhugo)
• Fix: aliases inside constructor declaration (#424, @gpetiot)
• Fix: broken invariant for Pmod_unpack (#421, @gpetiot)
• Fix: print error details in debug mode only (#420, @hhugo)
• Fix: mark_parenzed_inner_nested_match (@hhugo)
• Improve: tune the janestreet profile (@hhugo)
• Improve: disable ocamlformat if no dot ocamlformat in the project (#391, @hhugo)
• Improve: new option to control spacing around let bindings (#344, @hhugo)
• Fix: prec of string/array sugar (#381, @hhugo)
• Fix: lost comment in constraint expression (#400, @gpetiot)
• Fix: lost cmt near functor (#399, @gpetiot)
• Improve: preset profiles (default & janestreet) (#390, @gpetiot)
• Improve: try to fit simple list/array elements on a single line (#375, @gpetiot)
• Fix: bad comment spacing with module-item-spacing=compact (#395, @gpetiot)
• Fix: dropped comment in revapply of extension (#394, @gpetiot)
• Improve: let-and structures spacing depends on module-item-spacing (#367, @gpetiot)
• Fix: consecutive prefix operator (#386, @hhugo)
• Fix: invalid (#383, @hhugo)
• Fix: lazy and alias (#388, @hhugo)
• Improve: main loop and error reporting (#389, @hhugo)
• Fix: exposed_left_typ (#385, @hhugo)
• Fix: rec functor (#382, @hhugo)
• Fix: while%ext/for%ext (@hhugo)
• Fix: more on class (@hhugo)
• Fix: invalid syntax on class (@hhugo)
• Improve: follow XDG for global config files (@gpetiot)
• Improve: add support for bigarray sugar index operator (@hhugo)
• Add: support reading input from stdin (#353, @bkase)
• Fix: the precedence of options (@gpetiot)
• Improve: doc of config option choice alternatives (#354, @jberdine)
• Improve: string formatting (@hhugo)

• Switched build to dune (thanks to @nojb).
• Added support for 4.07.1
• Various bugfixes in the backend and in the editor modes.
• Fix build on OCaml 4.02 to 4.04

• Support colors on Windows (#1290, @jeremiedimino)

• Allow dune.configurator and base to be used together (#1291, fix #1167, @jeremiedimino)

• Support interrupting and restarting builds on file changes (#1246, @kodek16)

• Fix findlib-dynload support with byte mode only (#1295, @bobot)

• Make dune rules -m output a valid makefile (#1293, @jeremiedimino)

• Expand variables in (targets ..) field (#1301, #1320, fix #1189, @nojb, @rgrinberg, @jeremiedimino)

• Fix a race condition on Windows that was introduced in 1.2.0 (#1304, fix #1303, @jeremiedimino)

• Fix the generation of .merlin files to account for private modules (@rgrinberg, fix #1314)

• Exclude the local opam switch directory (_opam) from the list of watched directories (#1315, @dysinger)

• Fix compilation of the module generated for findlib.dynload (#1317, fix #1310, @jeremiedimino)

• Lift restriction on copy_files and copy_files# stanzas that files to be copied should be in a subdirectory of the current directory. (#1323, fix #911, @nojb)

• Fix opam2 format upgrade when submitting a PR (#91, @samoht)

• Determine opam-repository fork user from URI (#64, @NathanReb and @diml)
• All subcommands now support multiple package names (@samoht)
• Do not remove Makefile from the distribution archives (#71, @samoht)
• Do not duplicate version strings in opam file (#72, @samoht)
• Fix configuration file upgrade from 0.2 (#55, @samoht)
• Add a --tag option to select the release tag (@samoht)
• Add a --version option to select the release version (@samoht)
• Fix --keep-v (#70, @samoht)
• Make dune-release <OPTIONS> a shorchut to dune-release bistro <OPTIONS> (#75, @samoht)
• Add a --no-open option to not open a browser after creating a new P (#79, @samoht)
• Control --keep-v and --no-auto-open via options in the config file (#79, @samoht)
• Be flexible with file names (#86 and #20, @anuragsoni)

• Add Attribute.declare_with_name_loc (#33, @diml)
• Let the tool name pass thought when used as a -ppx (#41, @diml)
• Update the AST to 4.06 (#8, @xclerc)

• Allow ppx rewriters to specify when they should be applied

• Switch default branch from 2.0.0 to master
• Minor fix

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

• Enrich the dune Emacs mode with syntax highlighting and indentation. New file dune-flymake to provide a hook dune-flymake-dune-mode-hook to enable linting of dune files. (#1265, @Chris00)

• Pass link_flags to cc when compiling with Configurator.V1.c_test (#1274, @rgrinberg)

• Fix digest calculation of aliases. It should take into account extra bindings passed to the alias (#1277, fix #1276, @rgrinberg)

• Fix a bug causing dune to fail eagerly when an optional library isn't available (#1281, @jeremiedimino)

• ocamlmklib should use response files only if ocaml >= 4.08 (@1268, @bryphe)

• Ignore stderr output when trying to find out the number of jobs available (#1118, fix #1116, @jeremiedimino)

• Fix error message when the source directory of copy_files does not exist. (#1120, fix #1099, @emillon)

• Highlight error locations in error messages (#1121, @emillon)

• Display actual stanza when package is ambiguous (#1126, fix #1123, @emillon)

• Add dune unstable-fmt to format dune files. The interface and syntax are still subject to change, so use with caution. (#1130, fix #940, @emillon)

• Improve error message for dune utop without a library name (#1154, fix #1149, @emillon)

• Fix parsing ocamllex stanza in jbuild files (#1150, @rgrinberg)

• Highlight multi-line errors (#1131, @anuragsoni)

• Do no try to generate shared libraries when this is not supported by the OS (#1165, fix #1051, @jeremiedimino)

• Fix Flags.write_{sexp,lines} in configurator by avoiding the use of Stdune.Path (#1175, fix #1161, @rgrinberg)

• Add support for findlib.dynload: when linking an executable using findlib.dynload, automatically record linked in libraries and findlib predicates (#1172, @bobot)

• Add support for promoting a selected list of files (#1192, @jeremiedimino)

• Add an emacs mode providing helpers to promote correction files (#1192, @jeremiedimino)

• Improve message suggesting to remove parentheses (#1196, fix #1173, @emillon)

• Add (wrapped (transition "..message..")) as an option that will generate wrapped modules but keep unwrapped modules with a deprecation message to preserve compatibility. (#1188, fix #985, @rgrinberg)

• Fix the flags passed to the ppx rewriter when using staged_pps (#1218, @jeremiedimino)

• Add (env var) to add a dependency to an environment variable. (#1186, @emillon)

• Add a simple version of a polling mode: dune build -w keeps running and restarts the build when something change on the filesystem (#1140, @kodek16)

• Cleanup the way we detect the library search path. We no longer call opam config var lib in the default build context (#1226, @jeremiedimino)

• Make test stanzas honor the -p flag. (#1236, fix #1231, @emillon)

• Test stanzas take an optional (action) field to customize how they run (#1248, #1195, @emillon)

• Add support for private modules via the private_modules field (#1241, fix #427, @rgrinberg)

• Add support for passing arguments to the OCaml compiler via a response file when the list of arguments is too long (#1256, @jeremiedimino)

• Do not print diffs by default when running inside dune (#1260, @jeremiedimino)

• Interpret $ dune build dir as building the default alias in dir. (#1259, @rgrinberg)

• Make the dynlink library available without findlib installed (#1270, fix #1264, @rgrinberg)

• Improve: simplify setting option defaults, slight --help improvement (#350, @jberdine)
• Improve: update emacs mode to use replace-buffer-contents (#345, @hhugo)
• Improve: add option to not force-break structs (#346, @jberdine)
• Improve: move 'formatting' options into separate section (#348, @gpetiot)
• Improve: fun sugar (@hhugo)
• Improve: add option to omit open lines between one-line module items (#303, @gpetiot)
• Fix: infix ops (@hhugo)
• Improve: reformat files with no locations (@hhugo)
• Improve: better error when max-iters = 1 (@hhugo)
• Improve: breaking before arrows in pattern match cases (@jberdine)
• Improve: no parens for trailing 'not' (@hhugo)
• Improve: missing break hint, fix #331 (@hhugo)
• Improve: comments before match (#330, @jberdine)
• Fix: missing comments (@hhugo)
• Fix: missing attributes due to sugar (@hhugo)
• Fix: parens non trivial rhs for # infix ops (@hhugo)
• Improve: let-module-in break before in (#328, @jberdine)
• Improve: sugar for nestest module_with (@hhugo)
• Improve: attributes on let bindings (#324, @jberdine)
• Improve: wrapping of functor args in type declaration (#315, @gpetiot)
• Fix: comments attachment with infix ops (@hhugo)
• Fix: comments attachment with Pexp_fun (@hhugo)
• Fix: docstrings as attributes (@hhugo)
• Improve: refactor and improve documentation of options (#302, @gpetiot)
• Improve: error reporting in emacs integration (#304, @jberdine)
• Improve: pexp_open as final arg of infix op (#314, @jberdine)
• Fix: missing parens around labeled record pattern arg (@jberdine)
• Fix: missing attributes (@hhugo)
• Fix: duplicated (x3) attributes in pexp_letmodule (@hhugo)
• Improve: allow to locally disable ocamlformat (@hhugo)
• Improve: corner case indentation of fun -> function (#312, @jberdine)
• Improve: labeled, optional, and default args (@jberdine)
• Improve: punning default arg with type constraint (@jberdine)
• Improve: add options to controls various spaces (#284, @hhugo)
• Improve: add option to disable wrapping fun args (#283, @hhugo)
• Improve: add option --break-cases to break each pattern-matching case (#251, @gpetiot)
• Improve: rename --nested-parens option (@hhugo)
• Improve: ws before colon for constraint (#293, @hhugo)
• Improve: option to choose where to parens nested match (@hhugo)
• Improve: always parens nested match (even the right most one) (@hhugo)
• Improve: always break for let_and contruct (@hhugo)
• Fix: missing comments (@hhugo)
• Improve: Add option to preserve style of local module open (#267, @gpetiot)
• Improve: preserve extension point formatting (@hhugo)
• Improve: make double semi consistent between implementation and use_file (#292, @hhugo)
• Improve: configure ocamlformat using attributes (@hhugo)
• Improve: extension point (@hhugo)
• Improve: break in type declaration for variant and record (#280, @hhugo)
• Fix: memory leak (@hhugo)
• Test: add ocaml compiler to test suite, and improve make -C test (@jberdine)
• Fix: unary operator +/- (@hhugo)
• Fix: doc comments in class (@hhugo)
• Fix: ocaml bug, sort fields (@hhugo)
• Improve: empty mod with comments (@hhugo)
• Improve: disable warning generated by the lexer in quiet mode (@hhugo)
• Fix: record update (@hhugo)
• Fix: rec let binding and attribute (@hhugo)
• Fix: punning (@hhugo)
• Fix: let open and constraint (@hhugo)
• Fix: not extension sugar when attribute (@hhugo)
• Fix: no-comment-check missing case (@hhugo)
• Fix: string literal (@hhugo)
• Fix: format of infix in presence of %; (@hhugo)
• Fix: let binding and type annot (@hhugo)
• Fix: binding when lhs is an extension (@hhugo)
• Fix: pat constraint in payload (@hhugo)
• Fix: let rec with extension (@hhugo)
• Fix: comments (@hhugo)
• Fix: comments in fmt_case (@hhugo)
• Fix: comments around Longident (@hhugo)
• Fix: missing comment for pmty_with (@hhugo)
• Improve: add option to disambiguate infix precedence with parens (@jberdine)
• Improve: not when infix op arg (@jberdine)
• Improve: add a flag to skip all checks about comments (@hhugo)
• Improve: breaking of module ident/unpack/extension exps (#269, @jberdine)
• Fix: literal sub-exps with attributes (@jberdine)
• Fix: many fixes regarding attributes (@hhugo)
• Improve: preserve formatting of block comments (#255, @hhugo)
• Improve: breaking of applications with long literal list args (#258, @jberdine)
• Fix: sugar functor (@hhugo)
• Fix: type alias in variant (@hhugo)
• Improve: formatting of comments (@jberdine)
• Fix: prefix operators (@hhugo)
• Fix: exception declarations (@hhugo)
• Fix: doc comments in structure (#250, @hhugo)
• Fix: add parens around pat with trailing attr (@hhugo)
• Fix: let binding and Ppat_or (@hhugo)
• Fix: be more permissive with pattern (@hhugo)
• Fix: fix string_literal with when its location includes its attribute (#244, @hhugo)
• Improve: improve errors returned to the user. (#243, @hhugo)
• Fix: missing comments for Pexp_construct (#240, @hhugo)
• Fix: multiple fixes around classes (#242, @hhugo)
• Fix: comments in empty () and [] (#241, @hhugo)
• Fix: support empty variant (#239, @hhugo)
• Fix: add missing attribute (#238, @hhugo)
• Fix: be more permissive with ppat_interval (#237, @hhugo)
• Improve: remove trailing ws (#210, @hhugo)
• Improve: attributes on type declarations (#232, @jberdine)
• Improve: breaking of infix Array and String get and set ops (#233, @jberdine)
• Fix: attributes and doc comments (#221, @hhugo)
• Improve: spacing of module unpack (#230, @jberdine)
• Improve: no parent for new (@hhugo)
• Fix: Revert: Improve: remove redundant parens around application operators (@hhugo)
• Improve: array alignment (#226, @hhugo)
• Improve: nested array infix ops (#225, @hhugo)
• Fix: is_adjacent and remove [~inclusive] from [Source.string_between] (@hhugo)
• Fix: Cmts.CmtSet.split (@hhugo)
• Improve: Allow comments inside empty delimited "things" (#223, @hhugo)
• Fix: Source.ends_line (#222, @hhugo)
• Improve: empty struct and sig (#217, @hhugo)
• Improve: support for toplevel files (#218, @hhugo)
• Fix: string literal, fix #214 (#219, @hhugo)
• Improve: more tuning for functors (@hhugo)
• Improve: sugar for functor type with multiple args (@hhugo)
• Improve: sugar for functors with multiple args (@hhugo)
• Improve: module type with (@hhugo)
• Improve: break before with/and type (@hhugo)
• Improve: break between fun args (@hhugo)
• Improve: module unpacking (#215, @hhugo)
• Improve: for & while loops (#211, @hhugo)
• Fix: attributes on ite (#209, @hhugo)
• Fix: partially applied (+) and (-) (#208, @hhugo)
• Fix: polymorphic variant (#202, @hhugo)
• Fix: parens with lazy pat (fix #199) (#201, @hhugo)
• Improve: omit excess indentation of function cases (@jberdine)
• Improve: extensions with payloads of multiple structure items (@jberdine)
• Improve: parenthesization and attribute placement of if-then-else (@jberdine)
• Fix: do not attach comments to docstrings (@jberdine)
• Fix: short syntax for extensions (#193, @hhugo)
• Fix: missing attrs for pcl_fun (@hhugo)
• Fix: pos of attribute for functors (@hhugo)
• Fix: () module only if not attrs (@hhugo)
• Fix: missing attrs for object (@hhugo)
• Fix: no short form of extension with attribs (@hhugo)
• Fix: normalization for Pexp_poly and Pexp_constraint (#190, @hhugo)
• Fix: some parenthesization context checks (#189, @hhugo)
• Fix: attributes on fun expressions (@jberdine)
• Fix: extensions with multiple module-level eval expressions (#185, @jberdine)
• Fix: functor & apply (#182, @hhugo)
• Fix: module rec with (@hhugo)
• Fix: more parens in pat_constraint (@hhugo)
• Improve: tuple & constraint (@hhugo)
• Improve: empty module (#178, @hhugo)
• Fix: extensible variant (#177, @hhugo)
• Fix: index operator (#176, @hhugo)
• Improve: empty module sig (@hhugo)
• Fix: add attributes to module signature (@hhugo)
• Add: support for objects and classes (#173, @hhugo)
• Improve: remove some redundant parens around tuple types (@jberdine)
• Fix: args in let bindings (@hhugo)
• Improve: let module%ext (@hhugo)
• Fix: infix op in alias (@hhugo)
• Fix: extensions pat (@hhugo)
• Fix: limit use of short syntax for extensions (@hhugo)
• Improve: allow break after Psig_include (@jberdine)
• Fix: { (a; b) with a; b } (@hhugo)
• Fix: with type [longident] (@hhugo)
• Fix: attributes on polymorphic variants (@hhugo)
• Fix: attribute in let bindings (@hhugo)
• Fix: private in extensible variant (@hhugo)
• Fix: gadt in extensible variant (@hhugo)
• Fix: missing parens in list pattern (@hhugo)
• Improve: format [new e] like an apply (@hhugo)
• Fix: parens for constraint (@hhugo)
• Fix: avoid emitting >] which is an unparsable keyword (#171, @hhugo)
• Fix: misplaced comments on module type of (@jberdine)

• Fix $ jbuilder --dev (#1104, fixes #1103, @rgrinberg)

• Fix dune exec when --build-dir is set to an absolute path (#1105, fixes #1101, @rgrinberg)

• Fix duplicate profile argument in suggested command when an external library is missing (#1109, #1106, @emillon)

• -opaque wasn't correctly being added to modules without an interface. (#1108, fix #1107, @rgrinberg)

• Fix validation of library name fields and make sure this validation also applies when the name is derived from the public_name. (#1110, fix #1102, @rgrinberg)

• Fix a bug causing the toplevel env stanza in the workspace file to be ignored when at least one context had (merlin) (#1114, @diml)

• Fix lookup of command line specified files when --root is given. Previously, passing in --root in conjunction with --workspace or --config would not work correctly (#997, @rgrinberg)

• Add support for customizing env nodes in workspace files. The env stanza is now allowed in toplevel position in the workspace file, or for individual contexts. This feature requires (dune lang 1.1) (#1038, @rgrinberg)

• Add enabled_if field for aliases and tests. This field controls whether the test will be ran using a boolean expression language. (#819, @rgrinberg)

• Make name, names fields optional when a public_name, public_names field is provided. (#1041, fix #1000, @rgrinberg)

• Interpret X in --libdir X as relative to PREFIX when X is relative (#1072, fix #1070, @jeremiedimino)

• Add support for multi directory libraries by writing (include_subdirs unqualified) (#1034, @jeremiedimino)

• Add (staged_pps ...) to support staged ppx rewriters such as ones using the OCaml typer like ppx_import (#1080, fix #193, @jeremiedimino)

• Use -opaque in the dev profile. This option trades off binary quality for compilation speed when compiling .cmx files. (#1079, fix #1058, @rgrinberg)

• Fix placeholders in dune subst documentation (#1090, @emillon, thanks @trefis for the bug report)

• Add locations to errors when a missing binary in PATH comes from a dune file (#1096, fixes #1095, @rgrinberg)

• Fix parsing of %{lib:name:file} forms (#1022, fixes #1019, @diml)

• 4.07.0 compatibility (#238, @hcarty)
• Fix compatibility with latest tuareg-mode (#241, @Wilfred)
• Do not expand include directories (#242, @sliquister)

• Store config files in ~/.config/dune/ instead of ~/.dune to match what dune is doing (#27, @samoht)
• Support opam 1.2.2 when linting (#29, @samoht)
• Use -p <pkg> instead of -n <pkg> to follow dune convention (#30, #42, @samoht)
• Default to nano if the EDITOR environment variable is not set. (#32, @avsm)
• Fix location of documentation when odoc creates an _html subdirectory (#34, @samoht)
• Remove the browse command (#36, @samoht)
• Re-add the publish delegatation mechanism to allow non-GitHub users to publish packages (see dune-release help delegate) (#37, @samoht)
• Fix dropping of v at the beginning of version numbers in dune-release opam (#40, @let-def)
• Add basic token validation (#40, @let-def)

• backend

  • new "polarity search" feature: provides a Hoogle-like type-based search for libraries that are in merlin's scope. See https://github.com/ocaml/merlin/blob/master/doc/features.md#polarity-search
  • new "open refactoring" feature: helps cleaning the code in the scope of an open statement. See https://github.com/ocaml/merlin/blob/master/doc/features.md#open-refactoring
  • spell-checking: a simple spell-checker has been added to suggest corrections when nothing can be directly completed.
  • type-driven record completion: merlin will now make use of type information from the context for narrowing and refining completion candidates.
  • support for #require directive in a source file, and will treat it as a package use
  • Add support for OCaml 4.07
  • locate: various minor bugfixes, as well as the following general improvements:
    • improved context detection
    • better tracking of namespaces
    • fixed support for local bindings
    • fixed support of disambiguated record fields and variant constructors
    • improved support for functors: merlin will now jump through functor application to the functor definitions and in some cases go back to the argument that was given (if it is simply reexported).
  • backport fixes of OCaml 4.06.1 to the 4.06 backend
  • various minor bugfixes

• editor modes

  • emacs
    • proper handling of multibyte strings (by @Chris00)
    • bind "q" to close type buffer (by @MiloDavis)
    • make goto-point encoding independent
    • add reason-mode to the guessed favorite mode list (by @Khady)
    • sped up some tight loops (by @rgrinberg)
    • add support for x-ref backend (by @rgrinberg)
  • vim
    • fix support for Neomake (by @bobbypriambodo and @statianzo)
    • fix encoding issues in filepaths (by @Thelyria)
    • fix handling of enclosing-type cache (by @ELLIOTTCABLE)
    • add to prevent flashing when highlighting an enclosing (by @bluddy)