Read the latest releases and updates from the OCaml ecosystem.
Fix random requests failing after switching documents (#904, fixes #898)
Do not offer related diagnostic information unless the user enables in client capabilities (#905)
Do not offer diagnostic tags unless the client supports them (#909)
Do not attach extra data to diagnostics unless the client supports this (#910)
Use /bin/sh instead of /bin/bash. This fixes ocamllsp on NixOS
Equinix is closing their data centre in Amsterdam where we currently host www.ocaml.org and staging.ocaml.org on an m1.xlarge.x86. These websites will be moved to virtual machines Scaleway cluster.
Fix various server crashes when opening non OCaml/Reason files. Files such as dune, cram, etc. would cause the server to crash. (#884, fixes #871)
Ignore unknown tags in merlin configuration to improve forward compatibility with Dune. (#883)
I'd like to announce the release of dune 3.5.0 on opam. This release is packed with fixes and new features, that are described below with a description of what this means for project maintainers.
This lists features of the "dune" executable itself. Upgrading dune will bring in these changes. We consider these changes safe, but it is difficult to define what a breaking change is for a command-line tool (for example, some error messages change). It is important to note that just upgrading the dune executable is not supposed to change how dune interprets existing projects. If just upgrading dune breaks compilation, it is a bug in dune, please report it!
clear-on-rebuild-and-flush-history (#6065, @rgrinberg)(license) (#6114,
fixes #6103, @emillon)(promote (until-clean)) when
--ignore-promoted-rules (or -p) is passed. (#6010, fixes #4401, @emillon)dune ocaml. (#6038, @emillon,
#6169, @shonfeder)This is technically a subset of above section. For M1 mac users, dune 3.5.0 is the first version which will correctly support dune-build-info.
This lists changes if you opt into the new (lang dune 3.5) version in your dune-project file. For this too, these are changes that we consider safe, but they can require changes to your dune files. For example, sandboxing is enabled in more places, which means that you might have to be more precise in expressing your dependencies. Please reach out on the issue tracker if you have trouble fixing your dune file or if something does not seem to be possible anymore.
runtime_deps field in the cinaps stanza to specify runtime
dependencies for running the cinaps preprocessing action (#6175, @rgrinberg)dirs field in the install stanza to install entire
directories (#5097, fixes #5059, @rgrinberg)(include <file>) term to the include_dirs field for adding
directories to the include paths sourced from a file. (#6058, fixes #3993,
@gridbugs)(extra_objects ...) field in (executable ...) and (library ...) stanzas (#6084, fixes #4129, @gridbugs)mode_specific_stubs that allows the
specification of different flags and sources for foreign stubs depending on
the build mode (#5649, @voodoos)Foo__ when building a library Foo (#6126, @rgrinberg)ODOC_SYNTAX and will rerun accordingly (#6010, fixes
#1117, @emillon)These changes, associated with (lang dune 3.5), are specific to coq.
%{coq:...} macro for accessing data about the configuration about Coq.
For instance %{coq:version} (#6049, @Alizter)(stdlib no).
(#6165 #6164, fixes #6163, @ejgallego @Alizter @LasseBlaauwbroek)Findlib).(coq.theory ...) stanza will now ensure that for each declared (plugin ...), the META file for it is built before calling coqdep. This enables
the use of the new Findlib-based loading method in Coq 8.16; however as of
Coq 8.16.0, Coq itself has some bugs preventing this to work yet. (#6167 ,
workarounds #5767, @ejgallego)On behalf of the ocamllsp team, I'm pleased to announce version 1.14.0. This release contains a new code action to help you inline definitions thanks to @jfeser. We look forward to your feedback.
Code action for inlining let bindings within a module or expression. (#847)
Tag "unused code" and "deprecated" warnings, allowing clients to better display them. (#848)
Refresh merlin configuration after every dune build in watch mode (#853)
Respect showDocument capabilities. Do not offer commands or code actions
that rely on this request without client support. (#836)
Fix signatureHelp on .mll files: avoid "Document.dune" exceptions
The release of OCaml 5.0.0 is drawing near. The standard library has been stabilized and many opam packages already work with this release. After two alpha releases, we have released the first beta version to help you update your software and libraries ahead of the release (see below for the installation instructions).
If you find any bugs, please report them on GitHub issues.
Compared to the last alpha release, this beta contains many small, internal
runtime fixes (in particular in the systhreads library).
At the user level, the interface of the Domain and Effect module has been tweaked to be (hopefully) more forward-compatible:
Domain.recommended_domain_count is no longer a constant and the function Domain.at_each_spawn has been removed.With those changes, the standard library should be stable now.
If you are interested in the ongoing list of bug fixes, the updated change log for OCaml 5.0.0 is available on GitHub.
You can also follow the state of the opam ecosystem on this opam-repository issues, and at check.ocamllabs.io
A short summary of the changes since the last alpha release is also available below.
The base compiler can be installed as an opam switch with the following commands on opam 2.1:
opam update
opam switch create 5.0.0~beta1
For previous versions of opam, the switch creation command line is slightly more verbose:
opam update
opam switch create 5.0.0~beta1 --repositories=default,beta=git+https://github.com/ocaml/ocaml-beta-repository.git
It might also be interesting to check the new support for parallelism by installing
the domainslib library with
opam install domainslib
The source code for the beta release is also available at these addresses:
If you want to tweak the configuration of the compiler, you can switch to the option variant with:
opam update
opam switch create <switch_name> ocaml-variants.5.0.0~beta1+options <option_list>
where option_list is a comma-separated list of ocaml-option-* packages. For instance, for a flambda and no-flat-float-array switch:
opam switch create 5.0.0~beta1+flambda+nffa ocaml-variants.5.0.0~beta1+options ocaml-option-flambda ocaml-option-no-flat-float-array
The command line above is slightly more complicated for opam versions before 2.1:
opam update
opam switch create <switch_name> --packages=ocaml-variants.5.0.0~beta1+options,<option_list> --repositories=default,beta=git+https://github.com/ocaml/ocaml-beta-repository.git
In both cases, all available options can be listed with opam search ocaml-option.
During the beta release, if your dependencies are not yet compatible with OCaml 5.0.0, you might want to check the alpha opam repository: https://github.com/kit-ty-kate/opam-alpha-repository.
Which can be installed with
opam repo add alpha git+https://github.com/kit-ty-kate/opam-alpha-repository.git
You can check that the alpha repository has been correctly installed with
$ opam repo
<><> Repository configuration forswitch<><><><><><><><><><><><><>This alpha repository contains various fixes that are in the process of being upstreamed, but it should be less and less required with the progress of the beta release.
Stdlib Changes#11423: Move the effect exceptions to the Effect module (KC Sivaramakrishnan, Xavier Leroy, Florian Angeletti, review by Florian Angeletti, Xavier Leroy, and KC Sivaramakrishnan)
#11593: Remove Domain.at_each_spawn (Florian Angeletti, review by Guillaume Munch-Maccagnoni and KC Sivaramakrishnan)
#11303: Ensure that GC is not invoked from bounds check failures (Stephen Dolan, review by Sadiq Jaffer and Xavier Leroy)
#5299, #4787, #11138, #11272, #11506: To help debugging, Caml_state
now dynamically checks that the domain lock is held and fails
otherwise (with a fatal error at most entry points of the C API, or
systematically in debug mode). A new variable Caml_state_opt is
introduced and is NULL when the domain lock is not held. This
allows to test from C code if the current thread holds its domain lock.
(Guillaume Munch-Maccagnoni, review by Florian Angeletti, Damien
Doligez, Sadiq Jaffer, Xavier Leroy, and Gabriel Scherer)
#11223: The serialisation format of custom blocks changed in 4.08, but the deserialiser would still support the pre-4.08 format. OCaml 5.x removed support for this old format and provided a clear error message in this case. (Hugo Heuzard, review by Gabriel Scherer)
#11504, #11522: Use static allocation for caml_make_float_vect in
no-flat-float-array mode, it's more efficient and avoids a race condition
(Xavier Leroy, report by Guillaume Munch-Maccagnoni, review by David Allsopp)
#11461, #11466: Fix gethostbyaddr for IPv6 arguments and make it domain-safe
(Olivier Nicole, Nicolás Ojeda Bär, David Allsopp and Xavier Leroy,
review by the same)
#11479: Make Unix.symlink domain-safe on Windows (Olivier Nicole, review by Xavier Leroy and David Allsopp)
#11294: Switch minimum required autoconf to 2.71. (David Allsopp, review by Xavier Leroy)
#11370, #11373: Don't pass CFLAGS to flexlink during configure. (David Allsopp, report by William Hu, review by Xavier Leroy and Sébastien Hinderer)
#11487: Thwart FMA test optimization during configure (William Hu, review by David Allsopp and Sébastien Hinderer)
#11468: Fix regression from #10186 (OCaml 4.13) detecting IPv6 on Windows for mingw-w64 i686 port. (David Allsopp, review by Xavier Leroy and Sébastien Hinderer)
#11482, #11542: Fix random crash in large closure allocation (Damien Doligez, report by Thierry Martinez and Vincent Laviron, review by Xavier Leroy)
#11508, #11509: make Bytes.escaped domain-safe (Christiano Haesbaert and Gabriel Scherer, review by Xavier Leroy, report by Jan Midtgaard and Tom Kelly)
#11516, #11524: Fix the deprecated_mutable attribute.
(Chris Casinghino, review by Nicolás Ojeda Bär and Florian Angeletti)
#11576: Fix bug in Bigarray.Genarray.init in the the case of zero-dimensional arrays. (Nicolás Ojeda Bär, Jeremy Yallop, report by Masayuki Takeda, review by Jeremy Yallop and Florian Angeletti)
#11587: Prevent integer comparison from being used on pointers (Vincent Laviron, review by Gabriel Scherer)
esequence right-associative. (#366, @ceastlund)Deriving.Generator (#368, @sim642)Feedback on this post is welcomed on Discuss!
We are pleased to announce the minor release of opam 2.1.3.
This opam release consists of backported fixes:
opam init and opam init --reinit when the jobs variable has been set in the opamrc or the current config. (#5056)opam var no longer fails if no switch is set (#5025)--switch <sw> fails instead of writing an invalid switch-config file (#5027)opam pin (#5046)and improvements:
opam list --installable queries combined with other filters (#4311)--available, --installable) (#4999)opam list --conflicts-with when combined with other filters (#4999)opam show by as much as 300% when the package to show is given explicitly or is unique (#4997)(#4172)You can also find API changes in the release note.
Opam installation instructions (unchanged):
From binaries: run
bash -c "sh <(curl -fsSL https://raw.githubusercontent.com/ocaml/opam/master/shell/install.sh) --version 2.1.3"
or download manually from the Github "Releases" page to your PATH. In this case, don't forget to run opam init --reinit -ni to enable sandboxing if you had version 2.0.0~rc manually installed or to update you sandbox script.
From source, using opam:
opam update; opam install opam-devel
(then copy the opam binary to your PATH as explained, and don't forget to run opam init --reinit -ni to enable sandboxing if you had version 2.0.0~rc manually installed or to update your sandbox script)
From source, manually: see the instructions in the README.
We hope you enjoy this new minor version, and remain open to bug reports and suggestions.
opam init and opam init --reinit when the jobs variable has
been set in the opamrc or the current config. [#5056 @rjbou]opam list --installable queries combined with other
filters [#4882 @AltGr - fix #4311]--available,
--installable) [#4999 @kit-ty-kate]opam list --conflicts-with when combined with other
filters [#4999 @kit-ty-kate]opam show by as much as 300% when the package to
show is given explicitly or is unique [#4998 @kit-ty-kate - fix #4997 and
partially #4172]opam var no longer fails if no switch is set
[#5027 @rjbou - fix #5025]--switch <sw> fails instead of writing
an invalid switch-config file [#5027 @rjbou]opam pin
[#5047 @rjbou - fix #5046]Oops, we went looking but didn't find the changelog for this release 🙈
.ml, .mli, etc.) (#795)On behalf of the dune team, I’m pleased to announce the release of version 3.4.0.
Bug fixes, a couple new features, better hints and error messages - I won't restate what's in the changelog below. Thanks to everyone involved in this release!
Make dune describe correctly handle overlapping implementations
for virtual libraries (#5971, fixes #5747, @esope)
Building the @check alias should make sure the libraries and executables
don't have dependency cycles (#5892, @rgrinberg)
[ctypes] Add support for the errno parameter using the errno_policy field
in the ctypes settings. (#5827, @droyo)
Fix dune coq top when it is invoked on files from a subdirectory of the
directory containing the associated stanza (#5784, fixes #5552, @ejgallego,
@rlepigre, @Alizter)
Fix hint when an invalid module name is found. (#5922, fixes #5273, @emillon)
The (cat) action now supports several files. (#5928, fixes #5795, @emillon)
Dune no longer uses shimmed META files for OCaml 5.x, solely using the ones
installed by the compiler. (#5916, @dra27)
Fix handling of the (deps) field in (test) stanzas when there is an
.expected file. (#5952, #5951, fixes #5950, @emillon)
Ignore insignificant filesystem events. This stops RPC in watch mode from
flashing errors on insignificant file system events such as changes in the
.git/ directory. (#5953, @rgrinberg)
Fix parsing more error messages emitted by the OCaml compiler. In particular, messages where the excerpt line number started with a blank character were skipped. (#5981, @rgrinberg)
env stanza: warn if some rules are ignored because they appear after a wildcard rule. (#5898, fixes #5886, @emillon)
On Windows, XDG_CACHE_HOME is taken to be the FOLDERID_InternetCache if
unset, and XDG_CONFIG_HOME and XDG_DATA_HOME are both taken to be
FOLDERID_LocalAppData if unset. (#5943, fixes #5808, @nojb)
odoc-parser.2.0.0 (#2123, @gpetiot)
odoc-parser{m ...} available in doc-comments{math ...} available in doc-commentsAllow cancellation of workspace symbols requests (#777)
Fix unintentionally interleaved jsonrpc IO that would corrupt the session (#786)
Ignore SIGPIPE . (#788)
Fix a bad interaction between inferred interfaces and promotion code actions in watch mode (#753)
Fix URI parsing (#739 fixes #471 and #459)
bench binary is not distributed anymore to avoid name collisions (#2104, @gpetiot)indicate-multiline-delimiters (#2116, @gpetiot).ocp-indent files (#2103, @gpetiot)max-indent = 2 (#2099, @gpetiot)| under keyword instead of parenthesis (#2102, @gpetiot)Oops, we went looking but didn't find the changelog for this release 🙈
lwt_logsAdditions
Bugs fixed
val x : #c) (@jonludlam, #809)merlin-lib package that exposes merlin's internals and the merlin
package with the frontend. (#1448, #1455, #1457, #1497, @rgrinberg,
@tmattio, @kit-ty-kate)Seq-based API of Yojson 2.0, avoiding the need for the
deprecated Stream module (#1475 by @Leonidas-from-XIV)MERLIN_LOG (#1480 by @ulugbekna)type-enclosing results (#1483, fixes #1477)core_type (#1484)merlin-locate optional, both for
consistency with Emacs convention and for backwards compatibility. (#1476,
@antalsz)Fix preprocessing, ppx, and reason support (#735 fixes #696, #706)
Support include in folding ranges (#730)
Fix cancellation mechanism for all requests (#707)
Allow cancellation of formatting requests (#707)
Add --fallback-read-dot-merlin to the LSP Server (#705). If ocamllsp is
started with this new flag, it will fall back to looking for Merlin
configuration in .merlin files rather than calling dune ocaml-merlin.
(#705)
Support folding more ranges (#692)
Improve parsing of ocamlc errors. We now correctly strip excerpts and parse alerts (#5879, @rgrinberg)
The (libraries) field of the coq.theory stanza has been renamed to
(plugins) and the Coq language version has been bumped to 0.5.
Code_path.enclosing_value (#349, @ceastlund)Code_path.enclosing_module (#346, @ceastlund)~enclose_intf and ~enclose_impl (#345, @ceastlund)--check: Allow toplevel_printer attributes (#340, @pitag-ha)result instead (#329, @panglesd)On behalf of the dune team, I’m pleased to announce the release of version 3.3.0. This is the first version that supports the upcoming OCaml 5.0. It also improves safety by sandboxing more rules and enabling more warnings, and there's a bunch of new features on the coq side too. Full changelog follows.
Note that as usual, dune works hard not to break existing packages. So even if it mentions that rules require precise dependencies, for example, this new safety net is only enabled for project that use (lang dune 3.3).
Happy hacking.
Sandbox preprocessing, lint, and dialect rules by default. All these rules now require precise dependency specifications (#5807, @rgrinberg)
Allow list expansion in the pps specification for preprocessing (#5820,
@Firobe)
Add warnings 67-69 to dune's default set of warnings. These are warnings of the form "unused X.." (#5844, @rgrinberg)
Introduce project "composition" for coq theories. Coq theories in separate projects can now refer to each other when in the same workspace (#5784, @Alizter, @rgrinberg)
Fix hint message for data_only_dirs that wrongly mentions the unknown
constructor data_only (#5803, @lambdaxdotx)
Fix creating sandbox directory trees by getting rid of buggy memoization (#5794, @rgrinberg, @snowleopard)
Handle directory dependencies in sandboxed rules. Previously, the parents of these directory dependencies weren't created. (#5754, @rgrinberg)
Set the exit code to 130 when dune is terminated with a signal (#5769, fixes #5757)
Support new locations of unix, str, dynlink in OCaml >= 5.0 (#5582, @dra27)
The coq.theory stanza now produces rules for running coqdoc. Given a
theory named mytheory, the directory targets mytheory.html/ and
mytheory.tex/ or additionally the aliases @doc and @doc-latex will
build the HTML and LaTeX documentation repsectively. (#5695, fixes #3760,
@Alizter)
Coq theories marked as (boot) cannot depend on other theories
(#5867, @ejgallego)
Ignore bigarray in (libraries) with OCaml >= 5.0. (#5526, fixes #5494,
@moyodiallo)
Start with :standard when building the ctypes generated foreign stubs so that we include important compiler flags, such as -fPIC (#5816, fixes #5809).