OBuilder workers for both Intel and Apple Silicon have been updated from macOS Ventura to macOS Sonoma 14.1.1.
From today, ocaml-ci and opam-repo-ci will test against Sonoma rather than Ventura.
Read the latest releases and updates from the OCaml ecosystem.
OBuilder workers for both Intel and Apple Silicon have been updated from macOS Ventura to macOS Sonoma 14.1.1.
From today, ocaml-ci and opam-repo-ci will test against Sonoma rather than Ventura.
Weβre pleased to announce the release of opam-publish
2.3.0.
This release, apart from a couple of light improvements, mainly consists of the following new option:
opam-publish
with the --no-confirmation
argument for use in automated pipeline. Use this option with extreme caution if you do use it.The full changelog is available below.
Enjoy, The opam team
--no-confirmation
argument for use in automated pipeline [#158 @AltGr - fix #132]Following the release of odoc
2.3.0, we're releasing a patch release with odoc
2.3.1 that fixes support for OCaml 5.1.
After giving space for feedback and objections by the community,
we have deprecated ocaml-migrate-parsetree
(aka OMP). It is superseded by Ppxlib.
There are four major differences between OMP and Ppxlib, which all go hand in hand.
The first major difference is in the library and therefore impacts how to write PPXs. With OMP, each PPX author had to choose a parsetree version to define their PPX against. There was no version agreement between different PPXs. With Ppxlib, each PPX author uses the same parsetree version.
The second major difference is about compatibility with new compiler syntax. While with OMP, each PPX was on its own parsetree version, Ppxlib keeps them all on the version of the latest stably released compiler. That makes using any PPX compatible with using the latest compiler syntax features!
The third major difference is in the philosophy of PPXs. With OMP, all PPX transformations were global transformations, i.e., transformations of the whole parsetree. Ppxlib has introduced the concept of "context-free" transformations, i.e., transformations that transform only one parsetree node. By restricting their scope of action, context-free PPXs are a lot more predictable and less dangerous! Also, Ppxlib merges all context-free PPXs into one parsetree pass, defining clear semantics of PPX composition.
The fourth major difference is in the driver, i.e., the binary that drives the application of all used PPXs in a project. The Ppxlib driver is significantly more performant than the OMP driver used to be. That's partly because it does a lot fewer parsetree migrations and partly thanks to merging all context-free PPXs into one parsetree pass.
As a consequence of the deprecation, OMP will be incompatible with any new compiler version. The first incompatible compiler version is OCaml 5.1.
Thanks a lot to everyone involved in OCaml's transition from OMP to Ppxlib, for example by porting their PPX!
Following the release of Dune 3.11.0 a few days ago, we've just released version 3.11.1 with a couple of bug fixes:
dune rpc status
command that was incorrectly showing that there were
no RPC servers running on Windows.(inline_tests)
.Fix dune rpc
commands on Windows (#8806, fixes #8799, @nojb)
Fix inline_tests
when the partition list is empty (#8849, fixes #8848, @hhugo)
We're happy to announce the release of Ppxlib
0.31.0. Shortly after OCaml 5.1.0 has been released,
this Ppxlib
release fixes a bug in the support of OCaml 5.1.0. Before that bug fix, the warnings about a generative/applicative mismatch between a functor creation and its application introduced by OCaml 5.1.0 were also triggered when that mismatch didn't exist.
Furthermore, the release contains a couple of bug fixes in the context of attributes.
We're also excited about two main enhancements. One allows authors of extension node rewriters to add a path argument to the extension node. That's excellent for hygiene since it allows the PPX to be explicit about modules rather than depending on its scope.
The other main enhancement allows an opt-in for compiler warnings about unused code generated by derivers (warnings w32 and w60). That opting in needs to happen on both sides of the deriver, the writer side and the user side. Opting in to those code warnings will help to clean up unused code, leading to performance improvements in compilation and editor support.
Fix support for OCaml 5.1: migrated code preserves generative functor warnings, without creating more. Locations are better preserved. (#432, @pitag-ha, @panglesd)
Driver: Add -unused-code-warnings
command-line flag. (#444, @ceastlund)
Add ?warning
flag to Deriving.Generator.make
. (#440, @jacksonzou123 via @ceastlund)
Restore the path_arg
functionality in the V3 API. (#431, @ELLIOTTCABLE)
Expose migration/copying/etc. functions for all AST types needed by Pprintast
. (#454, @antalsz)
Preserve quoted attributes on antiquotes in metaquot. (#441, @ncik-roberts)
Attribute namespaces: Fix semantics of reserving multi-component namespaces. (#443, @ncik-roberts)
We're pleased to announce the release of Dune 3.11!
Here are some highlights from this release.
The biggest highlight in this release is the introduction of the new Terminal User Interface (TUI) display mode.
You can now run dune build --display tui
to open a TUI. We recommend using it in conjunction with Dune watch
mode (dune build -w --display tui
).
From the TUI, you will be able to navigate messages from Dune build, scroll through them, or click to minimize them. Press ?
to show the help screen.
Another exciting feature in this release is the new (source_trees ..)
field added to the (install ..)
stanzas to add every files in a directory to the installation. For instance, to add your manual to the installation, you can use:
(install
(section doc)
(source_trees manual))
Let us know what you think about these features, and don't hesistate to open issues on Dune's bug tracker if you encounter any issue.
enabled_if
now supports arch_sixtyfour
variable (#8023, fixes #7997,
@Alizter)
Experimental: Added a $ dune monitor
command that can connect to a running
dune build
in watch mode and display the errors and progress. (#8152,
@Alizter)
The progress
RPC procedure now has an extra field for the In_progress
constructor for the number of failed jobs. (#8212, @Alizter)
Add a --preview
flag to dune fmt
which causes it to print out the changes
it would make without applying them (#8289, @gridbugs)
Introduce (source_trees ..)
to the install stanza to allow installing
entire source trees. (#8349, @rgrinberg)
Add --stop-on-first-error
option to dune build
which will terminate the
build when the first error is encountered. (#8400, @pmwhite and @Alizter)
Dune now displays the number of errors when waiting for changes in watch mode. (#8408, fixes #6889, @Alizter)
Add with_prefix
keyword for changing the prefix of the destination of
installed files matched by globs. (#8416, @gridbugs)
Added experimental --display tui
option for Dune that opens an interactive
Terminal User Interface (TUI) when Dune is running. Press '?' to open up a
help screen when running for more information. (#8429, @Alizter and
@rgrinberg)
Add a warnings
field to dune-project
files as a unified mechanism to
enable or disable dune warnings (@rgrinberg, 8448)
dune exec
: support syntax like %{bin:program}
. This can appear anywhere
in the command line, so things like dune exec time %{bin:program}
now work.
(#6035, #8474, fixes #2691, @emillon, @Leonidas-from-XIV)
Add a new alias @doc-json
to build odoc documentation in JSON format. This
output can be consumed by external tools. (#8178, @emillon)
Use posix_spawn
instead of fork
on MacOS. This gives us a performance
boost and allows us to re-enable thread. (#8090, @rgrinberg)
Modules that were declared in (modules_without_implementation)
,
(private_modules)
or (virtual_modules)
but not declared in (modules)
will raise an error. (#7674, @Alizter)
No longer emit linkopts(javascript) in META files (#8168, @hhugo)
RPC message styles are now serialised meaning that RPC diagnostics keep their ANSI styling. (#8516, fixes #6921, @Alizter)
Truncate output from actions that produce too much output (@tov, #8351)
Allow libraries to shadow OCaml built-in libraries. Previously, built-in libraries would always take precedence. (@rgrinberg, #8558)
dune utop
no longer links utop
in "custom" mode, which should make this
command considerably faster. (#8631, fixes #6894, @nojb)
Ensure that package names in dune-project
are valid opam package names.
(#8331, @emillon)
init: check that module names are valid (#8644, fixes #8252, @emillon)
dune init: parse --public
as a public name (#8603, fixes #7108, @emillon)
Stop signing source files with substitutions. Sign only binaries instead (#8361, fixes #8360, @anmonteiro)
Make copy sandbox support directory targets. (#8705, fixes #7724, @emillon)
Deprecate install destination paths beginning with ".." to prevent packages escaping their designated installation directories. (#8350, @gridbugs)
Remove warning against .dune
files generated by pre Dune 2.0 (#8611,
@rgrinberg)
Remove versions 0.1 and 0.2 of the experimental ctypes extension. (#8293, @emillon)
We are thrilled to announce the release of odoc 2.3.0! π This release is the result of almost a year of diligent work from the odoc team since the last major release of odoc 2.2.0, it comes packed with significant new features and improvements!
Here are a couple of the new features introduced in Odoc 2.3.0 that we'd like to highlight.
Table support is the last addition to the odoc language, and comes with two syntax flavours: a light one, and a heavy one. The light markup is similar to markdown's markup for table, producing tables that are readable in the source file as well.
However, this markup has some limitation, since it only allows inline content in cells. It can also be difficult to read and mantain for big tables, without a proper editor support. For this reason, Odoc also provides a "heavy" markup, closer to the html one, with fewer limitations!
Here is a table in heavy, light, and rendered form:
{t
Table | support
------|--------
is | cool!
}
{table
{tr {th Table} {th support}}
{tr {td is} {td cool!}}
}
Table | support ------|-------- is | cool!
Source code rendering is an extremely exciting new feature. Not only odoc is now able to generate a rendering of the source files (and source hierarchy) of a project, but it is also able to create direct links from the documentation to the implementation!
This puts the documentation browsing to a new level, by helping to quickly answer any implementation-related question!
The source code rendering is also tailored to OCaml, for instance with links from variables to their definition, something missing from traditional html-based source viewing such as github!
Using this features in odocβs driver will require some work, but you can already have a preview of the feature by going to the odoc API website, which was built with the feature enabled. For instance, the Odoc_html 19 module is now populated with many Source links, jumping right into the implementation file 5! Directory pages to browser the implementation are also included 8 :smiley:
Some background on our roadmap and what comes next.
The lack of access to comprehensive documentation for OCaml libraries is one of the biggest pain points reported by the OCaml community, as highlighted in the 2022 OCaml survey (c.f. Q50).
This motivated the odoc and OCaml.org teams to jointly work on a centralised package documentation, that went live in April 2022, as part of the new version of OCaml.org.
With documentation for OCaml libraries readily available on OCaml.org, we now turn our focus on making sure that library authors have the tooling they need to create high-quality documentation.
Our roadmap highlights some features we believe will make the generated documentation significantly better for readers, and documentation-writing much more pleasant and rewarding.
This release is a significant milestone in implementing the features on our roadmap and is the precursor to a series of upcoming releases. Odoc 2.4.0 will follow shortly and will bring support for search. Stay tuned and follow our progress through the OCaml Platform newsletter!
While we are dedicated to developing the best tooling to generate and serve documentation on OCaml.org, creating a well-documented library ecosystem can only be a collective effort. Package authors: we're working hard to give you great tools, but we'll need all your help to create an ecosystem of well-documented libraries for OCaml!
If you find that writing documentation for your library isn't as straightforward as you would like, please do share your feedback with us.
--hidden
not always taken into account (@panglesd, #940)We are happy to announce the release of MDX 2.3.1! This is the first release of MDX to be compatible with OCaml 5.1.
We've also vendored the odoc-parser
library, eliminating the need to have it
as a dependency. MDX can now be installed independently of the odoc
version
you're using.
Add os_type
label to enable/disable based on Sys.os_type
(#433,
@polytypic)
Make MDX compatible with OCaml 5.1 (#435, @polytypic and @kit-ty-kate)
odoc-parser
library, removing the need to have it
as a dependency. (#430, @jonludlam)Merlin 4.12 is a small patch release fixing regressions introduced in previous versions.
We are pleased to announce the release of Merlin 4.11 for OCaml 4.14.1, 5.0, and 5.1.
This release brings official support for OCaml 5.1 and introduces some changes to Emacs' default bindings proposed by the community:
tuareg-eval-region
) and bind
C-c C-v instead to merlin-error-check
;merlin-document
and bind C-c M-d and
C-c | instead to merlin-destruct
;merlin-type-expr
.Thanks to everyone involved!
tuareg-eval-region
) and bind C-c C-v instead to merlin-error-check
;
rebind C-c C-d to merlin-document
and bind C-c M-d and C-c | instead to merlin-destruct
;
bind C-u C-c C-t to merlin-type-expr
.defadvice
macro (ocaml/merlin#1675)Previously the infrastructure team had made FreeBSD available for opam-repo-ci
.
Now we can announce that the same support has been added to ocaml-ci
, giving coverage for both OCaml
4.14 and the new OCaml 5.1 release. opam-repo-ci
has also been upgraded to support OCaml 5.1. We aim to support both 4.14 as
the Long Term Support release and the latest 5.* release.
Additionally an opam-health-check
instance has been setup to provide
continuous checking of opam repository packages against FreeBSD 13.2 x86_64 for both the 4.14 and 5.1 releases of OCaml.
This will allow the community to check whether packages work on FreeBSD and provide fixes to opam-repository
that will
then get tested on FreeBSD. Closing the loop and giving the community the tools to support OCaml on FreeBSD effectively.
We hope the community finds the FreeBSD support useful.
We are pleased to announce the release of OCamlFormat 0.26.1!
This is the first OCamlFormat release to be compatible with OCaml 5.1.
We highlight notable formatting improvements below:
type t =
| Foo
| (* Redirect (None, lib) looks up lib in the same database *)
- Redirect of
- db option * (Loc.t * Lib_name.t)
+ Redirect of db option * (Loc.t * Lib_name.t)
+
object
keywordmodule type S = sig
- class tttttttttttt : aaaaaaaaaaaaaaaaaa:int -> bbbbbbbbbbbbbbbbbbbbb:float ->
+ class tttttttttttt :
+ aaaaaaaaaaaaaaaaaa:int ->
+ bbbbbbbbbbbbbbbbbbbbb:float ->
cccccccccccccccccccc
end
class type ct =
let open M in
- object
+object
val x : t
end
We've also fixed a few bugs. Attributes that were previously skipped are not preserved, and we fixed a crash that occured in the presence of nested modules.
Have a look at the full changelog to see the list of improvements, and donβt hesitate to share your feedback on this release on OCaml Discuss.
object
keyword in class types (#2425, @Julow)with module
(#2419, @Julow)We have the pleasure of celebrating the anniversary of Olympe de Gouges' "Declaration of the Rights of Woman and of the Female Citizen" by announcing the release of OCaml version 5.1.0.
Some of the highlights in OCaml 5.1.0 are:
List.append
and List.map
OCaml 5.1.0 is still a relatively experimental release compared to the OCaml 4.14 branch. In particular:
statmemprof
is a work in progress.We are planning to address those regressions, hopefully in time for the OCaml 5.2.0 release for some of them. Meanwhile, the OCaml 4.14 branch will be maintained, and the next release on the OCaml 4.14 branch, OCaml 4.14.2, should follow this release in the upcoming months.
Please report any unexpected behaviours on the OCaml issue tracker and post any questions or comments you might have on our discussion forums.
The full list of changes can be found in the changelog below.
The base compiler can be installed as an opam switch with the following commands:
opam update
opam switch create 5.1.0
The source code for the release candidate is also directly available on:
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.1.0+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.1.0+flambda+nffa ocaml-variants.5.0.0+options ocaml-option-flambda ocaml-option-no-flat-float-array
#11418, #11708: RISC-V multicore support. (NicolΓ‘s Ojeda BΓ€r, review by KC Sivaramakrishnan)
#11712, #12258, #12261: s390x / IBM Z multicore support: OCaml & C stack separation; dynamic stack size checks; fiber and effects support. (Aleksei Nikiforov, with help from Vincent Laviron and Xavier Leroy, additional suggestions by Luc Maranget, review by the same and KC Sivaramakrishnan)
#11642: Restore Cygwin port. Add GC messages for address space reservations when OCAMLRUNPARAM option v includes 0x1000. (David Allsopp, review by Xavier Leroy, Guillaume Munch-Maccagnoni and Gabriel Scherer)
#12006, #12064: Add Marshal.Compression
flag to Marshal.to_*
functions.
When this flag is explicitly set, marshaled data is compressed using ZSTD.
On some practical examples, the marshalled output became three times smaller
at no noticeable cost on the marshalling time.
(Xavier Leroy, review by Edwin TΓΆrΓΆk and Gabriel Scherer, fix by Damien
Doligez)
#10464: Add List.is_empty. (Craig Ferguson, review by David Allsopp)
#11848: Add List.find_mapi
,
List.find_index: ('a -> bool) -> 'a list -> int option
,
Seq.find_mapi
, Seq.find_index
, Array.find_mapi
, Array.find_index
,
Float.Array.find_opt
, Float.Array.find_index
, Float.Array.find_map
,
Float.Array.find_mapi
.
(Sima Kinsart, review by Daniel BΓΌnzli and NicolΓ‘s Ojeda BΓ€r)
#11410: Add Set.to_list, Map.to_list, Map.of_list,
Map.add_to_list: key -> 'a -> 'a list t -> 'a list t
.
(Daniel BΓΌnzli, review by NicolΓ‘s Ojeda BΓ€r and Gabriel Scherer)
#11836, #11837: Add Array.map_inplace
, Array.mapi_inplace
,
Float.Array.mapi_inplace
and Float.Array.mapi_inplace
.
(Léo Andrès, review by Gabriel Scherer, KC Sivaramakrishnan and
NicolΓ‘s Ojeda BΓ€r)
#10967: Add Filename.temp_dir. (David Turner, review by Anil Madhavapeddy, Valentin Gatien-Baron, NicolΓ‘s Ojeda BΓ€r, Gabriel Scherer, and Daniel BΓΌnzli)
#11246: Add "hash" and "seeded_hash" functions to Bool, Int, Char, Float, Int32, Int64, and Nativeint. (NicolΓ‘s Ojeda BΓ€r, review by Xavier Leroy and Gabriel Scherer)
#11488: Add Mutex.protect: Mutex.t -> (unit -> 'a) -> 'a
for resource-safe critical sections protected by a mutex.
(Simon Cruanes, review by Gabriel Scherer, Xavier Leroy,
Guillaume Munch-Maccagnoni)
#11581: Add type equality witness
type (_, _) eq = Equal: ('a, 'a) eq
in a new module Stdlib.Type.
(NicolΓ‘s Ojeda BΓ€r, review by Daniel BΓΌnzli, Jacques Garrigue, Florian
Angeletti, Alain Frisch, Gabriel Scherer, Jeremy Yallop and Xavier Leroy)
#11843: Add In_channel.input_lines
and In_channel.fold_lines
.
(Xavier Leroy, review by NicolΓ‘s Ojeda BΓ€r and Wiktor Kuchta).
#11856, #11859: Using TRMC, the following Stdlib
functions are now
tail-recursive:
Stdlib.(@), List.append,
List.concat_map.
(Jeremy Yallop, review by Daniel BΓΌnzli, Anil Madhavapeddy, NicolΓ‘s Ojeda BΓ€r,
Gabriel Scherer, and Bannerets)
#11362, #11402: Using TRMC, the following Stdlib
functions are now
tail-recursive:
List.map, List.mapi, List.map2,
List.filter, List.filteri, List.filter_map,
List.init,
List.of_seq.
(NicolΓ‘s Ojeda BΓ€r, review by Xavier Leroy and Gabriel Scherer)
#11878, #11965: Prevent seek_in from marking buffer data as valid after closing the channel. This could lead to inputting uninitialized bytes. (Samuel Hym, review by Xavier Leroy and Olivier Nicole)
#11128: Add In_channel.isatty, Out_channel.isatty. (NicolΓ‘s Ojeda BΓ€r, review by Gabriel Scherer and Florian Angeletti)
#10859: Add Format.pp_print_iter
and Format.pp_print_array
.
(Léo Andrès and Daniel Bünzli, review by David Allsopp and Hugo Heuzard)
#10789: Add Stack.drop
(Léo Andrès, review by Gabriel Scherer)
#11026, #11667, #11858: Rename the type of the accumulator of fold functions to 'acc: fold_left : ('acc -> 'a -> 'acc) -> 'acc -> 'a list -> 'acc fold_right : ('a -> 'acc -> 'acc) -> 'a list -> 'acc -> 'acc fold_left_map : ('acc -> 'a -> 'acc * 'b) -> 'acc -> 'a list -> 'acc * 'b list ... (Valentin Gatien-Baron and Francois Berenger, review by Gabriel Scherer and NicolΓ‘s Ojeda BΓ€r)
#11354: Hashtbl.find_all is now tail-recursive. (FermΓn Reig, review by Gabriel Scherer)
#11500: Make Hashtbl.mem non-allocating. (Simmo Saan, review by NicolΓ‘s Ojeda BΓ€r)
#11412: Add Sys.is_regular_file (Xavier Leroy, review by Anil Madhavapeddy, NicolΓ‘s Ojeda BΓ€r, David Allsopp)
#11322, #11329: serialization functions Random.State.{of,to}_binary_string between Random.State.t and string (Gabriel Scherer, report by Yotam Barnoy, review by Daniel BΓΌnzli, Damien Doligez, Hugo Heuzard and Xavier Leroy)
#11830: Add Type.Id with
val provably_equal : 'a Type.Id.t -> 'b Type.Id.t -> ('a, 'b) Type.eq option
(Daniel BΓΌnzli, review by Jeremy Yallop, Gabriel Scherer, Wiktor Kuchta,
NicolΓ‘s Ojeda BΓ€r)
#12184, #12320: Sys.rename Windows fixes on directory corner cases. (Jan Midtgaard, review by Anil Madhavapeddy)
printf
) where silently ignored and now fail.
Those new failures occur at compile-time, except if you use advanced
format features like %(...%)
that parse format strings dynamically.
Pass -no-strict-formats to revert to the previous lenient behavior.
(NicolΓ‘s Ojeda BΓ€r, review by David Allsopp)Specific efforts have been made during this release to reduce the filesystem size of installed artifacts of the compiler distribution. The installation size of 5.1 is 272 MiB compared to 521 MiB for 5.0. Some of those changes will benefit all OCaml packages.
ocaml/RFCs#23, #12006: use compressed marshaled format from #12006 for .cmi, .cmt, .cmti files, and for debug info in .cmo and .cma files, resulting in major reduction in size. (Xavier Leroy, review by Edwin TΓΆrΓΆk and Gabriel Scherer, RFC by Simon Cruanes)
#11981: Reduce size of OCaml installations by removing debugging information from installed bytecode executables. It is no longer possible to run ocamldebug over these installed bytecode executables, nor to get exception backtraces for them. (Xavier Leroy, review by David Allsopp, report by Fabrice Le Fessant)
ocamlmklib
, ocamlcmt
,
ocamlprof
, ocamlcp
, ocamloptp
, and ocamlmktop
tools, but no
native-code executables. A tool like ocamlmklib
for example is now
installed directly to $BINDIR/ocamlmklib
; ocamlmklib.byte
and
ocamlmklib.opt
are no longer installed to $BINDIR
.
(Xavier Leroy, review by Gabriel Scherer)#11589, #11903: Modify the GC pacing code to make sure the GC keeps up with allocations in the presence of idle domains. (Damien Doligez and Stephen Dolan, report by Florian Angeletti, review by KC Sivaramakrishnan and Sadiq Jaffer)
#11743: Speed up weak array operations (KC Sivaramakrishnan, review by François Bobot and Sadiq Jaffer)
#12131: Simplify implementation of weak hash sets, fixing a performance regression. (Nick Barnes, review by François Bobot, Alain Frisch and Damien Doligez).
#11474, #11998, #12065: Add support for user-defined events in the runtime event tracing system. (Lucas Pluvinage, review by Sadiq Jaffer, Guillaume Munch-Maccagnoni, Enguerrand Decorne, Gabriel Scherer and Anil Madhavapeddy)
#11827, #12249: Restore prefetching for GC marking (Fabrice Buoro and Stephen Dolan, review by Gabriel Scherer and Sadiq Jaffer)
#11144: Restore frame-pointers support for amd64 (Fabrice Buoro, review by Frederic Bour and KC Sivaramakrishnan)
#11935: Load frametables of dynlink'd modules in batch (Stephen Dolan, review by David Allsopp and Guillaume Munch-Maccagnoni)
#11284, #12525: Use compression of entries scheme when pruning mark stack. Can decrease memory usage for some workloads, otherwise should be unobservable. (Tom Kelly, review by Sabine Schmaltz, Sadiq Jaffer and Damien Doligez)
caml_remove_global_root
or caml_remove_generational_global_root
from within the C finalizer of a custom block, or within the
finalization function passed to caml_alloc_final
. As a workaround,
such a finalization operation can be registered with Gc.finalize
instead, which guarantees to run the finalizer at a safe point.
(Report by Timothy Bourke, discussion by Yotam Barnoy, Timothy
Bourke, Sadiq Jaffer, Xavier Leroy, Guillaume Munch-Maccagnoni, and
Gabriel Scherer)#12130: Fix multicore crashes with weak hash sets. Fixes #11934. (Nick Barnes, review by François Bobot)
#12099: Add ocamlrund option, -events, to produce a trace of debug events during bytecode interpretation. Fixes #12098. (Richard L Ford, review by Gabriel Scherer)
#12001: Fix book keeping for last finalisers during the minor cycle (KC Sivaramakrishnan and Enguerrand Decorne, report by Guillaume Bury and Vincent Laviron, review by Sadiq Jaffer and KC Sivaramakrishnan)
#11919: New runtime events counters for major heap stats and minor heap resizing. (Sadiq Jaffer, review by Gabriel Scherer and David Allsopp)
#11287, #11872, #11955: Clean up reserved header bits (once used for Spacetime profiling). (Nick Barnes, review by Gabriel Scherer and Damien Doligez)
#11750: Decouple major slice from minor GC. (KC Sivaramakrishnan, review by Sadiq Jaffer, Guillaume Munch-Maccagnoni and Damien Doligez)
#11796: protect lazy computation of code fragment digest by a mutex. This makes the thread sanitizer happier, and avoids duplicating the hashing work. (Gabriel Scherer, review by Xavier Leroy, report by Olivier Nicole)
#11137: new Unsafe_store_tag(val, new_tag)
macro to stop using
Tag_val(val)
as lvalue.
(Gabriel Scherer, review by Xavier Leroy, Guillaume Munch-Maccagnoni
and NicolΓ‘s Ojeda BΓ€r)
#11880: Restore the correct sigmask in systhreads. (Christiano Haesbaert, review by Guillaume Munch-Maccagnoni and SΓ©bastien Hinderer)
#11881: Fix thread-unsafety of registration of operations for "custom" values. (Guillaume Munch-Maccagnoni, review by Gabriel Scherer and KC Sivaramakrishnan)
#11980: fix quadratic behavior in natdynlink by using a STW section for frame-descriptor updates. (Gabriel Scherer, review by Sadiq Jaffer, report by AndrΓ© Maroneze for Frama-C and Guillaume Melquiond for Coq)
#12121: unrooted implementations of caml_callback*_exn (Gabriel Scherer, review by KC Sivaramakrishnan and Xavier Leroy)
#3921, #12039, #12128: poll for signals in long-running polymorphic comparisons. (B. Szilvasy, Gabriel Scherer and Xavier Leroy, review by Stefan Muenzel, Guillaume Munch-Maccagnoni and Damien Doligez)
#12231: Support MinGW-w64 11.0 winpthreads library, where the macro to set up to get flexdll working changed (David Allsopp and Samuel Hym, light review by Xavier Leroy)
(breaking change) #11694: Add short syntax for generative functor types () -> ...
(Jeremy Yallop, review by Gabriel Scherer, NicolΓ‘s Ojeda BΓ€r,
Jacques Garrigue)
(breaking change) #11457: Remove old polymorphic variant syntax.
With type t = [ `A | `B ]
, one could use the syntax #t
in types,
where it means the same thing as [< t]
, and in patterns, where it means
(`A | `B)
. The use of #t
in types for polymorphic variants
was deprecated since 2001, and is now removed. The syntax remains available
in patterns, or for objects -- when t
is a class type.
(Stefan Muenzel, review by Gabriel Scherer and Jacques Garrigue)
(breaking change) #11984: Add dedicated syntax for generative functor application.
Previously, OCaml did not distinguish between F ()
and
F (struct end)
, even though the latter looks applicative. Instead,
the decision between generative and applicative functor application
was made based on the type of F
. With this patch, we now distinguish
these two application forms; writing F (struct end)
for a generative
functor leads to new warning 73.
(Frederic Bour and Richard Eisenberg, review by Florian Angeletti)
type t = |
) immediate.
(Antal Spector-Zabusky, review by Gabriel Scherer)(breaking change) #6941, #11187, #12483: prohibit using classes through recursive modules inheriting or including a class belonging to a mutually-recursive module would previous behave incorrectly, and now results in a clean error. (Leo White, review by Gabriel Scherer and Florian Angeletti)
(breaking change) #12189, #12211: anonymous row variables in explicitly polymorphic type
annotation, e.g. 'a. [< X of 'a ] -> 'a
, are now implicitly
universally quantified (in other words, the example above is now read
as 'a 'r. ([< X of 'a ] as 'r) -> 'a
).
(Florian Angeletti and Gabriel Scherer, review by Jacques Garrigue)
#11967: Remove traces of Obj.truncate, which allows some mutable loads to become immutable. (Nick Barnes, review by Vincent Laviron and KC Sivaramakrishnan)
#9945, #10883: Turn boolean-result float comparisons into primitive operations Uses the architecture's elementary operations for float comparisons, when available, rather than branching and then setting the return value. (Stefan Muenzel, review by Stephen Dolan, Alain Frisch and Vincent Laviron)
#8998, #11321, #11430: change mangling of OCaml long identifiers
from camlModule__name_NNN
to camlModule.name_NNN
. The previous
mangling schema, using __
, was ambiguous.
(Xavier Leroy, report by sliquister and Michael Bacarella,
review by Gabriel Scherer)
#10834: The -safer-matching option disables type-based optimizations of pattern-matching compilation. This allows to produce a match failure if a pattern-matching was wrongly assumed to be exhaustive. Since the exhaustiveness check for GADTs has had bugs in the past, it may be useful if you need extra security with GADTs. (Jacques Garrigue, review by Gabriel Scherer)
#11102: Speed up register allocation by permanently spilling registers (Stephen Dolan, review by Xavier Leroy)
#11383: Restrict the local function optimisation to forbid moving code inside a sub-function (Vincent Laviron, review by Gabriel Scherer)
#11686: Better spilling heuristic for the Linear Scan allocator for more efficient stack usage. (NicolΓ‘s Ojeda BΓ€r, Gabriel Scherer, Alain Frisch, review by Gabriel Scherer, Alain Frisch and NathanaΓ«lle Courant)
#11904: Remove arm, i386 native-code backends that were already disabled at configuration time. (NicolΓ‘s Ojeda BΓ€r, review by Stephen Dolan, Anil Madhavapeddy, and Xavier Leroy)
#11134: Optimise 'include struct' in more cases (Stephen Dolan, review by Leo White and Vincent Laviron)
#11374: Remove pointer cast to a type with stricter alignment requirements in Windows implementation of Unix.gettimeofday. Windows implementations of caml_unix_map_file, caml_unix_lseek and caml_unix_lseek_64 now release the runtime lock. Windows implementation of caml_unix_lockf modernised and simplified. Where possible, 64 bit integers are used instead of LARGE_INTEGER structs. (David Allsopp, review by Jonah Beckford and Xavier Leroy)
#11475: Make Unix terminal interface bindings domain-safe (Olivier Nicole and Xavier Leroy, review by Xavier Leroy)
#11775: Unix.write on a non-blocking socket under Windows will return normally if the write blocks after some data has already been written (as otherwise there is no way of knowing how much data has been written before blocking). The same behaviour was already present under Unix. (NicolΓ‘s Ojeda BΓ€r, review by David Allsopp)
#12067: Document Windows specific meanings of Unix.process_status
type
(Samuel Hym, review by David Allsopp)
#12072: Document and test that Sys.rename works over directories too (Jan Midtgaard, review by Anil Madhavapeddy and Xavier Leroy)
#11889, #11978: ocamldoc: handle injectivity annotations and wildcards in type parameters. (Florian Angeletti, report by Wiktor Kuchta, review by Jules Aguillon)
#11787: Fix GDB scripts to work with OCaml 5's heap layout. (Nick Barnes)
#11772: fix ocamlyacc's handling of raw string literals (Demi Marie Obenour)
#9290: Add a directive to switch off debugging in toplevel. This allows to see optimized bytecode with -dlambda. (Jacques Garrigue, review by Gabriel Scherer)
#11166: ocamllex: the union of two character sets "cset1 | cset2" can now be used in any context where a character set is expected. (NicolΓ‘s Ojeda BΓ€r, Martin Jambon, review by SΓ©bastien Hinderer)
#11718: ocamlyacc: OCaml-style comments are now supported, in addition to the C-style comments already supported. The syntax is the same as that used in OCaml code. (Demi Marie Obenour, review by Damien Doligez)
#11728: ocamlyacc: generate line directives for %type declarations (Demi Marie Obenour, review by Damien Doligez)
#11773: ocamlyacc: Do not allow quoted literals (such as 'a' or "bc") in a token name or %type declaration. Previously such literals were accepted by ocamlyacc, but produced malformed OCaml that was rejected by the compiler. (Demi Marie Obenour, review by Gabriel Scherer)
#11774: ocamlyacc: fail if there is an I/O error (Demi Marie Obenour, review by Gabriel Scherer)
#11973: Add support for postfixed mingw host triplets (Romain Beauxis)
#12165: ocamldoc, use standard doctype to avoid quirk mode. (Florian Angeletti, review by Gabriel Scherer)
#11476: Add examples in documentation of Hashtbl, Queue, Atomic, Format (Simon Cruanes, review by Yotam Barnoy, Gabriel Scherer, Daniel BΓΌnzli, Ulugbek Abdullaev, and NicolΓ‘s Ojeda BΓ€r)
#11883, #11884: Update documentation for In_channel and Out_channel with examples and sections to group related functions. (Kiran Gopinathan, review by Daniel BΓΌnzli and Xavier Leroy)
#12095, #12097: Put the sample code of the user's manual and reference documentation of the standard library under the CC0 1.0 Universal (CC0 1.0) Public Domain Dedication license.
#11892: Document the semantic differences of Unix.exec* between Unix and Windows. (Boris Yakobowski, review by Daniel BΓΌnzli, Gabriel Scherer and NicolΓ‘s Ojeda BΓ€r)
#9430, #11291: Document the general desugaring rules for binding operators. (Gabriel Scherer, review by NicolΓ‘s Ojeda BΓ€r)
#11481: Fix the type of Unix.umask to Unix.file_perm -> Unix.file_perm (Favonia, review by SΓ©bastien Hinderer)
#11514: Document ocamltest builtin variables and actions (Olivier Nicole, review by SΓ©bastien Hinderer)
#11676: Fix missing since annotation in the Sys
and Format
modules
(Github user Bukolab99, review by Florian Angeletti)
#12028: Update format documentation to make it clearer that
pp_print_newline
flushes its newline
(Florian Angeletti, review by Gabriel Scherer)
#12201: in the tutorial on modules, replace priority queue example by a simpler example based on FIFO queues. (Xavier Leroy, review by Anil Madhavapeddy and NicolΓ‘s Ojeda BΓ€r).
#12352: Fix a typo in the documentation of Arg.write_arg (Christophe Raffalli, review by Florian Angeletti)
#7179, #11894: correct the description of CAMLreturn and CAMLreturn0 in the Interfacing C page and memory.h file. (Dong An, review by Guillaume Munch-Maccagnoni and Olivier Nicole )
#10647: Show hints for the "undefined global" error in the toplevel (Wiktor Kuchta, review by Gabriel Scherer)
#12116: Don't suggest to insert a semicolon when the type is not unit (Jules Aguillon, review by Florian Angeletti)
#11679: Improve the error message about too many arguments to a function (Jules Aguillon, review by Gabriel Scherer and Florian Angeletti)
#10009: Improve the error reported by mismatched struct/sig and =/: in module and module type bindings. (Jules Aguillon, review by Gabriel Scherer)
#11530: Include kinds in kind mismatch error message. "Error: This variant or record definition does not match that of type M.t The original is abstract, but this is a record". (Leonhard Markert, review by Gabriel Scherer and Florian Angeletti)
#11646: Add colors to error message hints. (Christiana Anthony, review by Florian Angeletti)
#11235, #11864: usage warnings for constructors and fields can now be disabled on field-by-field or constructor-by-constructor basis (Florian Angeletti, review by Gabriel Scherer)
#11888: Improve the error message when type variables cannot be deduced from the type parameters: Before: "Error: In this definition, a type variable cannot be deduced from the type parameters." After: "Error: In the GADT constructor T : 'a -> 'a s t the type variable 'a cannot be deduced from the type parameters." (Stefan Muenzel, review by Florian Angeletti and Gabriel Scherer)
#10818: Preserve integer literal formatting in type hint. (Leonhard Markert, review by Gabriel Scherer and Florian Angeletti)
#11338: Turn some partial application warnings into hints. (Leo White, review by Stephen Dolan)
#10931: Improve warning 14 (illegal backslash) with a better explanation of the causes and how to fix it. (David Allsopp, Florian Angeletti, Lucas De Angelis, Gabriel Scherer, review by NicolΓ‘s Ojeda BΓ€r, Florian Angeletti, David Allsopp and Gabriel Scherer)
#10911: Improve the location reported by parenthesized assert expressions (Fabian Hemmer, review by Gabriel Scherer)
#1391, #7645, #3922: Add an early error when compiling different modules with mismatching -for-pack (Pierre Chambart and Vincent Laviron, review by Mark Shinwell)
#11297: Report "unclosed" error when "done" is missing in a "do .. done" construct. (NicolΓ‘s Ojeda BΓ€r, review by Gabriel Scherer)
#11635, #5461, #10564: turn warning 31 (Module_linked_twice) into a hard error for ocamlc β this was already an error with ocamlopt. (Hugo Heuzard, review by Valentin Gatien-Baron and Gabriel Scherer)
#11653: Add the -no-absname option to ocamlc, ocamlopt and ocamldep. (Abiola Abdulsalam, review by SΓ©bastien Hinderer and Florian Angeletti)
#11696: Add the -no-g option to ocamlc and ocamlopt. (Abiola Abdulsalam, review by SΓ©bastien Hinderer, NicolΓ‘s Ojeda BΓ€r and Florian Angeletti)
#11722: clearer error messages on non-well-founded type definitions (Gabriel Scherer, review by Jacques Garrigue)
#11819: make the native_compiler
and native_dynlink
configuration
variables available through ocamlc -config.
(SΓ©bastien Hinderer, review by Gabriel Scherer and David Allsopp)
#8602, #11863: Add -stop-after lambda flag option (Douglas Smith and Dmitrii Kosarev, review by Gabriel Scherer)
#11910: Simplify naming convention for shadowed or ephemeral identifiers in
error messages (eg: Illegal shadowing of included type t/2 by t
)
(Florian Angeletti, review by Jules Aguillon)
#12024: insert a blank line between separate compiler messages (Gabriel Scherer, review by Florian Angeletti, report by David Wong)
#12088, #9265, #11949: ocamldebug: fix confusing repeating behavior on blank lines within source scripts (Damien Doligez, review by Gabriel Scherer, report by GaΓ«tan Gilbert)
#12107: use aliases to mark weak row variables: _[< ... ]
, < _..>
, _#ct
are now rendered as [< ...] as '_weak1
, < .. > as '_weak1
,
and #ct as '_weak1
.
(Florian Angeletti, suggestion by Stefan Muenzel, review by Gabriel Scherer)
#12051: Improve the error messages when type variables cannot be generalized (Stefan Muenzel, review by Florian Angeletti)
#11018, #11869: Clean up Types.Variance, adding a description of the lattice used, and defining explicitly composition. (Jacques Garrigue, review by Gabriel Scherer and Jeremy Yallop)
#11536: Introduce wrapper functions for level management ([Ctype.with_level], etc) and for type variable scoping ([Typetexp.with_local_type_variable_scope]). The older API ([Ctype.(begin_def,end_def)], [Typetexp.(narrow,widen)], etc.) is now removed. (Jacques Garrigue and Takafumi Saikawa, review by Gabriel Scherer)
#11601, #11612, #11628, #11613, #11623, #12120 : Clean up some global state handling in emitcode, bytepackager, bytegen, bytesections, spill. (Hugo Heuzard, Stefan Muenzel, review by Vincent Laviron, Gabriel Scherer and NathanaΓ«lle Courant)
#12119, #12188, #12191: mirror type constraints on value binding in the
parsetree:
the constraint typ
in let pat : typ = exp
is now directly stored
in the value binding node in the parsetree.
(Florian Angeletti, review by Richard Eisenberg)
#11912: Refactoring handling of scoped type variables (Richard Eisenberg, review by Gabriel Scherer and Florian Angeletti)
#11691, #11706: use asm instead of asm for strict ISO C conformance (Xavier Leroy, report by Gregg Reynolds , review by Sadiq Jaffer)
#11764: add prototypes to old-style C function definitions and declarations (Antonin DΓ©cimo, review by Xavier Leroy)
#11693: Remove use of C99 Variable Length Arrays (VLAs) in the runtime. (David Allsopp, review by Xavier Leroy, Guillaume Munch-Maccagnoni, Stefan Muenzel and Gabriel Scherer)
#12138: Generalise interface for BUILD_PATH_PREFIX_MAP mapping. Absolute paths are now rewritten too. (Richard L Ford, suggestions and review by Gabriel Scherer)
#10512: explain the compilation strategy for switches on constructors (Gabriel Scherer, review by Vincent Laviron)
#11990: Improve comments and macros around frame descriptors. (Nick Barnes, review by Gabriel Scherer)
#11847, #11849, #11851, #11898: small refactorings in the type checker (Gabriel Scherer, review by NicolΓ‘s Ojeda BΓ€r)
#11027: Separate typing counter-examples from type_pat into retype_pat; type_pat is no longer in CPS. (Jacques Garrigue and Takafumi Saikawa, review by Gabriel Scherer)
#11286, #11515: disambiguate identifiers by using how recently they have been bound in the current environment (Florian Angeletti, review by Gabriel Scherer)
#11364: Allow make -C testsuite promote
to take TEST
and LIST
variables
(Antal Spector-Zabusky, review by Gabriel Scherer and David Allsopp)
#11446: document switch compilation (lambda/switch.ml) (Gabriel Scherer, review by Luc Maranget and Vincent Laviron)
#11568: Encode inline record types in Path.t (Leo White and Hyunggyu Jang, review by Gabriel Scherer)
#11569: Remove hash type encoding (Hyunggyu Jang, review by Gabriel Scherer and Florian Angeletti)
#11627: use return values instead of globals for linear scan intervals (Stefan Muenzel, review by NicolΓ‘s Ojeda BΓ€r)
#11634: Dll.open_dll now properly handles opening for execution while already opened for checking (Hugo Heuzard, review by NicolΓ‘s Ojeda BΓ€r)
Topdirs
in the initial toplevel environment without loading topfind
.
Since the opam default .ocamlinit
file loads topfind
, it is expected
that only scripts run with ocaml -noinit
are affected.
For those scripts, accessing Topdirs
now requires the compiler-libs
directory to be added to the toplevel search path with
#directory "+compiler-libs";;
as was already the case for the other modules in the toplevel interface
library.
(SΓ©bastien Hinderer, review by Florian Angeletti, NicolΓ‘s Ojeda BΓ€r and
Gabriel Scherer)#11615: remove global variables form asmcomp/linearize.ml (Stefan Muenzel, review by NicolΓ‘s Ojeda BΓ€r
#10856: Add location, attribute(s) visitors to Tast_mapper/Tast_iterator (Yan Dong, review by NicolΓ‘s Ojeda BΓ€r and Gabriel Scherer)
#11763, #11759, #11861: Enable stricter C compilation warnings, use strict prototypes on primitives. (Antonin DΓ©cimo, review by Xavier Leroy, David Allsopp and SΓ©bastien Hinderer)
#11933: Use the correct machtype when reading the code pointer from closures (NathanaΓ«lle Courant, review by Gabriel Scherer and Vincent Laviron)
#11972: refactor runtime/frame_descriptors.c in preparation for quadratic-time fix (Gabriel Scherer, review by Enguerrand Decorne)
#11997: translate structured constants into their Obj.t representation at compile time rather than link time. Changes the way dumpobj prints these constants because their representation becomes untyped. (SΓ©bastien Hinderer, review by Xavier Leroy, NicolΓ‘s Ojeda BΓ€r and Hugo Heuzard)
#12011: remove Ctype.reified_var_counter (Takafumi Saikawa and Jacques Garrigue, review by Gabriel Scherer)
#12012: move calls to Typetexp.TyVarEnv.reset inside with_local_level etc. (Jacques Garrigue and Takafumi Saikawa, review by Gabriel Scherer)
#12034: a logarithmic algorithm to find the next free variable (Gabriel Scherer, review by Stefan Muenzel)
#12092: remove Lev_module_definition from lambda (Nick Roberts, review by Gabriel Scherer)
#12117: Remove arity-interrupting elaboration of module unpacks (Nick Roberts, review by Richard Eisenberg and Jacques Garrigue)
#12118: stop storing names of predefined exceptions in the cu_required_globals field of compilation unit descriptors. (SΓ©bastien Hinderer, review by Vincent Laviron)
#12125: Add Misc.print_see_manual and modify [@manual_ref] to accept lists for simpler printing of manual references (Stefan Muenzel, review by Florian Angeletti)
#12509: Use strict prototypes on primitives when generating a standalone
bytecode executable (ocamlc -custom
).
(Antonin DΓ©cimo, review by Xavier Leroy)
#11844: Reduce verbosity of make
logs by printing program invocations in
shorthand (eg OCAMLC foo.cmo
). Setting V=1
recovers the old style (with
full command-lines).
(Xavier Leroy, NicolΓ‘s Ojeda BΓ€r, review by SΓ©bastien Hinderer)
#11590: Allow installing to a destination path containing spaces. (Γlie Brami, review by SΓ©bastien Hinderer and David Allsopp)
#11243, #11248, #11268, #11420, #11675: merge the sub-makefiles into the root Makefile. (SΓ©bastien Hinderer, review by David Allsopp and Florian Angeletti)
#11828: Compile otherlibs/ C stubs in two version for native and bytecode (Olivier Nicole, review by SΓ©bastien Hinderer and Xavier Leroy)
#12265: Stop adding -lexecinfo to cclibs (leftover debugging code from the multicore project). Harden the feature probe for -lm in configure so -lm is only added if strictly necessary. configure.ac now correctly propagates library flags for the Windows ports, allowing Windows OCaml to be configured with ZSTD support. (David Allsopp, review by SΓ©bastien Hinderer)
#12372: Pass option -no-execute-only to the linker for OpenBSD >= 7.3 so that code sections remain readable, as needed for closure marshaling. (Xavier Leroy and Anil Madhavapeddy, review by Anil Madhavapeddy and SΓ©bastien Hinderer)
#12062: fix runtime events consumer: when events are dropped they shouldn't be parsed. (Lucas Pluvinage)
#12132: Fix overcounting of minor collections in GC stats. (Damien Doligez, review by Gabriel Scherer)
#12017: Re-register finaliser only after calling user alarm in Gc.create_alarm (Fabrice Buoro, report by Sam Goldman, review by Guillaume Munch-Maccagnoni)
#11887, #11893: Code duplication in pattern-matching compilation (Vincent Laviron, report par Greta Yorsh, review by Luc Maranget and Gabriel Scherer)
#10664, #11600: Unsoundness in the typing of polymorphic methods involving polymorphic variants (Jacques Garrigue, report by Mike Shulman, review by Gabriel Scherer)
#11302, #11412: ocamlc
and ocamlopt
should not remove generated files
when they are not regular files.
(Xavier Leroy, report by Thierry Martinez, review by
Anil Madhavapeddy, NicolΓ‘s Ojeda BΓ€r, David Allsopp)
#10348, #10560, #11561: Expand GADT equations lazily during unification to avoid ambiguity (Jacques Garrigue, review by Leo White)
#11436: Fix wrong stack backtrace for out-of-bound exceptions raised by leaf functions. (Tom Kelly and Xavier Leroy, review by Mark Shinwell)
#11450, #12018: Fix erroneous functor error messages that were too eager to
cast struct end
functor arguments as unit modules in F(struct end)
.
(Florian Angetti, review by Gabriel Scherer)
#11643: Add missing test declaration to float_compare test, so that it will run. (Stefan Muenzel, review by David Allsopp)
#11630: Use correct location when reporting record labels with non-existent paths. (NicolΓ‘s Ojeda BΓ€r, report by Jason Gross, review by Gabriel Scherer)
#11727: Ensure push_defaults can push past module patterns, fixing an currying optimisation accidentally disabled by #10340. (Stephen Dolan, review by Gabriel Scherer)
#11771: Use a more relaxed mode for unification in Ctype.subst (Leo White, review by Jacques Garrigue and Gabriel Scherer)
#11803, #11808: on x86, the destination of an integer comparison must be a register, it cannot be a stack slot. (Vincent Laviron, review by Xavier Leroy, report by Emilio JesΓΊs Gallego Arias)
#11809: Protect Parmatch.pats_of_type from missing cmis (Jacques Garrigue, review by Stephen Dolan and Gabriel Scherer)
#11824: Fix a crash when calling ocamlrun -b
(Florian Angeletti, review by SΓ©bastien Hinderer)
#11815: Marshalling continuations raises invalid argument exception. (JΓ©rΓ΄me Vouillon, review by NicolΓ‘s Ojeda BΓ€r, Stephen Dolan and Hugo Heuzard)
#11846: Mark rbx as destroyed at C call for Win64 (mingw-w64 and Cygwin64). Reserve the shadow store for the ABI in the c_stack_link struct instead of explictly when calling C functions. This simultaneously reduces the number of stack pointer manipulations and also fixes a bug when calling noalloc functions where the shadow store was not being reserved. (David Allsopp, report by Vesa Karvonen, review by Xavier Leroy and KC Sivaramakrishnan)
#11850: When stopping before the emit
phase (using -stop-after
), an empty
temporary assembly file is no longer left in the file system.
(NicolΓ‘s Ojeda BΓ€r, review by Gabriel Scherer and Xavier Leroy)
#11866: Fix the result of caml_read_directory()
on non-existent paths.
(Andrei Paskevich and Charlène Gros, review by David Allsopp and
NicolΓ‘s Ojeda BΓ€r)
#11879: Bugfix for Ctype.nondep_type (Stephen Dolan, review by Gabriel Scherer)
#12004: Don't ignore function attributes on lambdas with locally abstract types. (Chris Casinghino, review by Gabriel Scherer)
#12037: Fix some data races by using volatile when necessary (Fabrice Buoro and Olivier Nicole, review by Guillaume Munch-Maccagnoni, Gabriel Scherer and Luc Maranget)
#12046: Flush stderr when tracing the parser (Hugo Heuzard, review by David Allsopp and NicolΓ‘s Ojeda BΓ€r)
#12061, #12063: don't add inconsistent equalities when computing high-level error messages for functor applications and inclusions. (Florian Angeletti, review by Gabriel Scherer)
#12075: auto-detect whether ar
support @FILE arguments at
configure-time to avoid using this feature with toolchains
that do not support it (eg FreeBSD/Darwin).
(NicolΓ‘s Ojeda BΓ€r, review by Xavier Leroy, David Allsop, Javier
ChΓ‘varri, Anil Madhavapeddy)
#12103, 12104: fix a concurrency memory-safety bug in Buffer (Gabriel Scherer, review by Florian Angeletti, report by Samuel Hym)
#12112: Fix caml_callback{2,3}_exn when used with effect handlers. (Lucas Pluvinage, review by Gabriel Scherer, David Allsopp and Xavier Leroy)
#12134: Use ghost location for nodes created when handling defaults in optional arguments. (Paul-Elliot Anglès d'Auriac, review by Gabriel Scherer)
#12153: Fix segfault in bytecode programs involving recursive value definitions of values of size 0 (Vincent Laviron, Xavier Leroy, Gabriel Scherer, review by Xavier Leroy, report by Nick Roberts)
#12162: Fix miscompilation on amd64 backends involving integer overflows (Vincent Laviron and Greta Yorsh, review by Stefan Muenzel)
#12170: fix pthread_geaffinity_np configure check for android (David Allsopp, review by SΓ©bastien Hinderer)
#12178: Fix runtime events consumer poll function returning an invalid value instead of an OCaml integer value. (Lucas Pluvinage)
#12252: Fix shared library build error on RISC-V. (Edwin TΓΆrΓΆk, review by NicolΓ‘s Ojeda BΓ€r and Xavier Leroy)
#12255, #12256: Handle large signal numbers correctly (Nick Barnes, review by David Allsopp).
#12277: ARM64, fix a potential assembler error for very large functions by emitting stack reallocation code before the body of the function. (Xavier Leroy, review by KC Sivaramakrishnan)
#12253, #12342: Fix infinite loop in signal handling. (Guillaume Munch-Maccagnoni, report by Thomas Leonard, review by KC Sivaramakrishnan and Sadiq Jaffer)
#12445: missing GC root registrations in runtime/io.c (Gabriel Scherer, review by Xavier Leroy and Jeremy Yallop)
#12481, #12505: Fix incorrect initialization of array expressions
[|e1;...;eN|]
when N
is large enough to require major heap allocation.
(Xavier Leroy, report by Andrey Popp, analysis by KC Sivaramakrishnan
and Vincent Laviron, review by Gabriel Scherer)
#11150, #11207, #11936: Avoid recomputation in Typedecl.check_wellfounded (Jacques Garrigue, report by Boris Yakobowski, review by Gabriel Scherer)
#11186, #11188: Fix composition of coercions with aliases (Vincent Laviron, report and review by Leo White)
#12486: Fix delivery of unhandled effect exceptions on s390x (Miod Vallat, report by Jan Midtgaard, review by Vincent Laviron and Xavier Leroy)
Since last week, there were two significant bugs fixed in the OCaml 5.1.0 runtime (one overflow bug and a stack corruption bug in the s390x port). Since those bug fixes are as small as they are subtle, they were deemed worthy of a release of a third release candidate for OCaml 5.1.0.
If there are no more surprises this week, the release of OCaml 5.1.0 shall happen next week.
If you find any bugs, please report them on OCaml's issue tracker.
The full changelog for OCaml 5.1.0 is available on GitHub
A short summary of the two fixed bugs in this release candidate is also available below.
The base compiler can be installed as an opam switch with the following commands on opam 2.1 and later:
opam update
opam switch create 5.1.0~rc3
The source code for the release candidate is also directly available on:
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.1.0~rc3+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.1.0~rc3+flambda+nffa ocaml-variants.5.1.0~rc3+options ocaml-option-flambda ocaml-option-no-flat-float-array
All available options can be listed with opam search ocaml-option
.
#11284, +#12525: Use compression of entries scheme when pruning mark stack. Can decrease memory usage for some workloads, otherwise should be unobservable. (Tom Kelly, review by Sabine Schmaltz, Sadiq Jaffer, and Damien Doligez)
#12486: Fix delivery of unhandled effect exceptions on s390x (Miod Vallat, report by Jan Midtgaard, review by Vincent Laviron and Xavier Leroy)
In the last two weeks, two significant bugs have been discovered in the release candidate for OCaml 5.1.0 (one affecting the type system, another in the runtime).
Those bugs are now fixed and we are publishing a second release candidate to check that everything is in order before the release in the upcoming week.
If you find any bugs, please report them on OCaml's issue tracker.
The full changelog for OCaml 5.1.0 is available on GitHub. A short summary of the two fixed bugs in this release candidate is also available below.
The base compiler can be installed as an opam switch with the following commands on opam 2.1 and later:
opam update
opam switch create 5.1.0~rc2
The source code for the release candidate is also directly available on:
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.1.0~rc2+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.1.0~rc2+flambda+nffa ocaml-variants.5.1.0~rc2+options ocaml-option-flambda ocaml-option-no-flat-float-array
All available options can be listed with opam search ocaml-option
.
We're thrilled to announce the release of Merlin 4.10, which comes with many bug fixes and improvements.
One of the standout features of this release is the significantly enhanced
support for binding operators like let+
and and+
. You'll find that the
results from type-enclosing
on expressions that contain let bindings are now
more precise.
construct
command (#1618). Prefixes are still produced when
warning 42 (disambiguated name) is active.short-path
from looping in some cases related to recursive type
definitions (#1645)type-enclosing
on let/and operators (#1653)merlin-construct-with-local-values
(#1644)As OCaml 5.1 is on the horizon, we're excited to announce the release of odoc 2.2.1. This latest version brings compatibility with the upcoming OCaml 5.1 release.
Additions
OBuilder now supports FreeBSD which has allowed opam-repo-ci to be extended to test against it. Currently, we are testing Opam 2.1.5 with OCaml 4.14.1 and OCaml 5.0 with FreeBSD 13.2 (AMD64).
The release of OCaml 5.1.0 is imminent. As a final step, we are publishing a release candidate to check that everything is in order before the release in the upcoming week(s).
If you find any bugs, please report them on OCaml's issue tracker.
Compared to the beta release, this release contains one safe runtime fix and two configuration tweaks.
The full change log for OCaml 5.1.0 is available on GitHub A short summary of the changes since the beta release is also available below.
The base compiler can be installed as an opam switch with the following commands on opam 2.1 and later:
opam update
opam switch create 5.1.0~rc1
The source code for the release candidate is also directly available on:
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.1.0~rc1+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.1.0~rc1+flambda+nffa ocaml-variants.5.1.0~rc1+options ocaml-option-flambda ocaml-option-no-flat-float-array
All available options can be listed with opam search ocaml-option
.
runtime/io.c
(Gabriel Scherer, review by Xavier Leroy and Jeremy Yallop)-no-execute-only
to the linker for OpenBSD >= 7.3
so that code sections remain readable, as needed for closure marshaling.
(Xavier Leroy and Anil Madhavapeddy, review by Anil Madhavapeddy and
SΓ©bastien Hinderer)topdirs.cmi
at runtime.
This change also removes the ocamlmktop initialisation module introduced
in #11382 which was no longer useful.
This change breaks toplevel scripts relying on the visibility of Topdirs
in the initial toplevel environment without loading topfind
.
Since the opam default .ocamlinit
file loads topfind
, it is expected
that only scripts run with ocaml -noinit
are affected.
For those scripts, accessing Topdirs
now requires the compiler-libs
directory to be added to the toplevel search path with
#directory "+compiler-libs";;
as was already the case for the other modules in the toplevel interface library. (SΓ©bastien Hinderer, review by Florian Angeletti, NicolΓ‘s Ojeda BΓ€r, and Gabriel Scherer)
The fix to sendfile
in 3.9.2 was not quite enough so here is the last part of
the fix. It brings compatibility with filesystems where sendfile
is not
available, in particular when ecryptfs
is used.
sendfile
fallback (#8288, fixes #8284, @alan-j-hu)We're happy to announce the release of Dune 3.10.0. It comes with some internal fixes as well as some interesting features:
dune describe
that will allow a better implementation of
opam-dune-lint to check the
consistency between library and package dependenciesdune show
for a more consistent command
line interfaceAdd dune show rules
as alias of the dune rules
command. (#8000, @Alizter)
Add dune show installed-libraries
as an alias of the dune installed-libraries
command. (#8135, @Alizter)
Add dune build --dump-gc-stats FILE
argument to dump garbage collection
stats to a named file. (#8072, @Alizter)
Add dune describe package-entries
to print all package entries (#7480,
@moyodiallo)
Fix %{deps}
to expand properly in (cat ...)
when containing 2 or more
items. (#8196, @Alizter)
Fix the severity
of error messages sent over RPC which was missing. (#8193,
@Alizter)
Fix bug with ppx and Reason syntax due to missing dependency in sandboxed action (#7932, fixes #7930, @Alizter)
Improve dune describe external-lib-deps
by adding the internal dependencies
for more information. (#7478, @moyodiallo)
Re-enable background file digests on Windows. The files are now open in a way that prevents race condition around deletion. (#8262, fixes #8268, @emillon)
Feedback on this post is welcomed on Discuss!
We are happy to announce the second alpha release of opam 2.2.0. It contains some fixes and a new feature for Windows. You can view the full list in the release note.
This version is an alpha. so we invite users to test it for previously unnoticed bugs to head towards the stable release.
The first alpha came with native Windows compatibility. This second alpha comes with a simpler initialisation for Windows: we no longer rely on an already present Cygwin UNIX-like environment for Windows as a compatibility layer. During initialisation, opam now proposes to embed its own fully managed Cygwin install.
The main opam-repository
Windows compliance is still a work in progress. We
recommend using an existing, compatible
repository (originally
from @fdopen) and 32/64 bit mingw-w64
packages (by
@dra27).
This alpha requires a preexisting Cygwin installation for compiling opam.
autoconf
, make
, patch
, curl
mingw64-x86_64-gcc-g++
, mingw64-i686-gcc-g++
make cold
cmd
or PowerShell
), and initialise opam with the Windows sunset repository:opam init https://github.com/ocaml-opam/opam-repository-mingw
From here, you can try to install the sunset
repository
packages. If you find any bugs, please submit an
issue.
It will help opam-repository
maintainers to add Windows repository packages
into the main repository.
Hint: if you use the MinGW compiler, don't forget to add to your
PATH
the path tolibc
dlls (usuallyC:\cygwin64\usr\x86_64-w64-mingw32\sys-root\mingw\bin
). You can also compile opam withmake cold CONFIGURE_ARGS=--with-private-runtime
, and if you change opam's location, don't forget to copyOpam.Runtime.amd64
(orOpam.Runtime.i386
) with it.
opam var
now has a more informative error message in case of package variableopam lint
: update Error 29 on package variables on filters to check also conflicts:
fieldopam admin lint
cleans output when called not from a terminalconfigure
throws an error if no complementary compiler is found on WindowsIn case you plan a possible rollback, you may want to first backup your
~/.opam
directory.
The upgrade instructions are unchanged:
Either from binaries, run
bash -c "sh <(curl -fsSL https://raw.githubusercontent.com/ocaml/opam/master/shell/install.sh) --version 2.2.0~alpha2"
or download manually from the Github "Releases" page to your PATH.
Or from source, manually: see the instructions in the README.
You should then run:
opam init --reinit -ni
Please report any issues to the bug-tracker.
This bugfix-only release contains two platform-specific changes: one fixes the
Dune cache on Windows, and the other one completes the fix on Linux when
sendfile
is not available. This makes Dune available where user directories
are encrypted using ecryptfs
for example.
Disable background digests on Windows. This prevents an issue where unremovable files would make Dune crash when the shared cache is enabled. (#8243, fixes #8228, @emillon)
Fix permission errors when sendfile
is not available (#8234, fixes #8210,
@emillon)
We are thrilled to announce the release of OCamlFormat 0.26.0!
After almost 5 months of intense development, this release comes with a ton of consistency improvements and bug fixes. In particular, the handling of comments should be largely superior!
Have a look at the full changelog to see the list of improvements, and don't hesitate to share your feedback on this release on OCaml Discuss.
Items marked with an asterisk (*
) are changes that are likely to format
existing code differently from the previous release when using the default
profile.
--numeric
feature (#2333, #2357, @gpetiot)let f (type a) :> a M.u = ..
(#2399, @Julow)module T = (val (x : (module S)))
(#2370, @Julow)then begin end
(#2369, @Julow)fun _ : _ ->
(#2352, @Julow)(::)
(#2347, @Julow)as
-patterns that have parentheses (#2359, @Julow)@@ let+ x = ...
(#2315, #2396, @Julow)
It was formatted differently than @@ let x = ...
.fun (type a) ->
following fun x ->
(#2294, @Julow)((module M) : (module S))
is formatted as (module M : S)
) (#2280, #2300, @gpetiot, @Julow)~label:(fun ...
(#2271, #2291, #2293, #2298, #2398, @Julow)
The fun
keyword is docked where possible and the arguments are indented to avoid confusion with the body.The release of UTop 2.13.0 introduced a regression on Windows. We're releasing UTop 2.13.1 with a patch, and made UTop 2.13.0 unavailable on Windows.
In Dune 3.9.0, we added a feature that offloads some computations to background threads. Unfortunately, this has a bad interaction on macOS, where we fork processes to implement the RPC server and watch mode.
We marked Dune 3.9.0 unavailable on macOS, and released 3.9.1 with some mitigations: we don't offload these computations on macOS, and we only fork when necessary.
The plan for the next release is to stop forking processes on macOS.
Disable background operations and threaded console on macOS and other Unixes where we rely on fork. (#8100, #8121, fixes #8083, @rgrinberg, @emillon)
Initialize async I/O thread lazily. (#8122, @emillon)
We're releasing version 2.13.0 of UTop! This version comes with a couple of bug fixes.
It also bumps the minimal required version of OCaml to 4.11.0 and removes deprecated values from the API.
Fix behavior of utop -stdin (#434, fixes #433, @tuohy)
Handle bounds with Zed.next_error
(#442, @tmattio)
Load files from XDG directories (the legacy paths still work). (#431, @Skyb0rg007)
Remove deprecated values prompt_continue
, prompt_comment
, smart_accept
,
new_prompt_hooks
, at_new_prompt
(#427, @emillon)
Require OCaml 4.11.0 or newer. (#444, @emillon)
Feedback on this post is welcomed on Discuss!
We are happy to announce the alpha release of opam 2.2.0. It contains numerous fixes, enhancements, and updates; including much-improved Windows support, addressing one of the most important pain points identified by the OCaml community. You can view the full list of changes in the release note.
This alpha release is a significant milestone, brought together by Raja Boujbel after years of work from the opam dev team (Raja Boujbel, David Allsopp, Kate Deplaix, Louis Gesbert, in a united OCamlPro/Tarides collaboration) with the help of many community contributors. We also thank Jane Street for their continued sponsorship.
This version is an alpha, so we invite users to test it to spot previously unnoticed bugs and work towards a stable release.
Opam 2.2 comes with native Windows compatibility. You can now use opam from your preferred Windows terminal! We rely on the Cygwin UNIX-like environment for Windows as a compatibility layer, but it is possible for a package to generate native executables.
The main opam repository is not Windows compatible at the moment, but existing
work on a compatible
repository (originally
from @fdopen) and 32/64 bit mingw-w64
packages (by
@dra27) is in the process of being merged. Before
the final release, we expect it to be possible to run opam init
and use the
main opam-repository for Windows.
This alpha requires a preexisting Cygwin installation. Support for full management of a local Cygwin environment inside of opam (so that it's as transparent as possible) is queued already and should be available in 2.2.0~alpha2 as the default option.
autoconf
, make
, patch
, curl
mingw64-x86_64-gcc-g++
, mingw64-i686-gcc-g++
make cold
opam init https://github.com/ocaml-opam/opam-repository-mingw
From here, you can try to install sunset repository packages. If any bug is found, please submit an issue. It will help opam repository maintainers to add Windows repository packages into the main repository.
Hint: if you use the MinGW compiler, don't forget to add to your
PATH
the path tolibc
dlls (usuallyC:\cygwin64\usr\x86_64-w64-mingw32\sys-root\mingw\bin
). Or compile opam withmake cold CONFIGURE_ARGS=--with-private-runtime
, and if you change opam location, don't forget to copyOpam.Runtime.amd64
(orOpam.Runtime.i386
) with it.
When installing or pinning a package using opam install
or opam pin
, opam
normally only looks for opam files at the root of the installed package. With
recursive pinning, you can now instruct opam to also look for .opam
files in
subdirectories, while maintaining the correct relationship between the .opam
files and the package root for versioning and build purposes.
Recursive pinning is used with the following options to opam pin
and opam install
:
--recursive
, opam will look for .opam
files recursively in all subdirectories.--subpath <path>
, opam will only look for .opam
files in the subdirectory <path>
.The two options can be combined: for instance, if your opam packages are stored
as a deep hierarchy in the mylib
subdirectory of your project, give opam pin . --recursive --subpath mylib
a try!
You can use these options with opam pin
, opam install
, and opam remove
.
$ tree .
.
βββ ba
βΒ Β βββ z
βΒ Β βββ z.opam
βββ bar
βΒ Β βββ bar.opam
βββ foo.opam
$ opam pin . --subpath ba/z --no-action
Package z does not exist, create as a NEW package? [y/n] y
z is now subpath-pinned to directory /ba/z in git+file:///tmp/recpin#master (version 0.1)
$ opam pin --recursive . --no-action
This will pin the following packages: foo, z, bar. Continue? [y/n] y
foo is now pinned to git+file:///tmp/recpin#master (version 0.1)
Package z does not exist, create as a NEW package? [y/n] y
z is now subpath-pinned to directory /ba/z in git+file:///tmp/recpin#master (version 0.1)
Package bar does not exist, create as a NEW package? [y/n] y
bar is now subpath-pinned to directory /bar in file:///tmp/recpin (version 0.1)
$ opam pin
bar.0.1 (uninstalled) rsync directory /bar in file:///tmp/recpin
foo.0.1 (uninstalled) git git+file:///tmp/recpin#master
z.0.1 (uninstalled) git directory /ba/z in git+file:///tmp/recpin#master
$ opam pin . --recursive --subpath ba/ --no-action
Package z does not exist, create as a NEW package? [y/n] y
z is now subpath-pinned to directory /ba/z in git+file:///tmp/recpin#master (version 0.1)
opam tree
shows packages and their dependencies with a tree view. It is very
helpful to determine which packages bring which dependencies in your installed
switch.
$ opam tree cppo
cppo.1.6.9
βββ base-unix.base
βββ dune.3.8.2 (>= 1.10)
β βββ base-threads.base
β βββ base-unix.base [*]
β βββ ocaml.4.14.1 (>= 4.08)
β βββ ocaml-base-compiler.4.14.1 (>= 4.14.1~ & < 4.14.2~)
β βββ ocaml-config.2 (>= 2)
β βββ ocaml-base-compiler.4.14.1 (>= 4.12.0~) [*]
βββ ocaml.4.14.1 (>= 4.02.3) [*]
It can also display a reverse-dependency tree (through opam why
, which is an
alias to opam tree --rev-deps
). This is useful to examine how dependency
versions get constrained.
$ opam why cmdliner
cmdliner.1.2.0
βββ (>= 1.1.0) b0.0.0.5
β βββ (= 0.0.5) odig.0.0.9
βββ (>= 1.1.0) ocp-browser.1.3.4
βββ (>= 1.0.0) ocp-indent.1.8.1
β βββ (>= 1.4.2) ocp-index.1.3.4
β βββ (= version) ocp-browser.1.3.4 [*]
βββ (>= 1.1.0) ocp-index.1.3.4 [*]
βββ (>= 1.1.0) odig.0.0.9 [*]
βββ (>= 1.0.0) odoc.2.2.0
β βββ (>= 2.0.0) odig.0.0.9 [*]
βββ (>= 1.1.0) opam-client.2.2.0~alpha
β βββ (= version) opam.2.2.0~alpha
β βββ (= version) opam-devel.2.2.0~alpha
βββ (>= 1.1.0) opam-devel.2.2.0~alpha [*]
βββ (>= 0.9.8) opam-installer.2.2.0~alpha
βββ user-setup.0.7
Special thanks to @cannorin for contributing this feature.
There is now a way for a project maintainer to share their project development
tools: the with-dev-setup
dependency flag. It is used in the same way as
with-doc
and with-test
: by adding a {with-dev-setup}
filter after a
dependency. It will be ignored when installing normally, but it's pulled in when the
package is explicitely installed with the --with-dev-setup
flag specified on
the command line. The variable is also resolved in the post-messages:
field
to allow maintainers to share more informations about that setup.
This is typically useful for tools that are required for bootstrapping or regenerating artifacts.
For example
opam-version: "2.0"
depends: [
"ocaml"
"dune"
"ocp-indent" {with-dev-setup}
]
build: [make]
install: [make "install"]
post-messages:
[ "Thanks for installing the package"
"and its tool dependencies too, it will help for your futur PRs" {with-dev-setup} ]
Software Heritage is a project that aims to archive all software source code in existence. This is done by collecting source code with a loader that uploads software source code to the Software Heritage distributed infrastructure. From there, any project/version is available via the search webpage and via a unique identifier called the SWHID. Some OCaml source code is already archived, and the main opam and Coq repository packages are continuously uploaded.
Opam now integrates a fallback to Software Heritage archive retrieval, based on SWHID. If an SWHID URL is present in an opam file, the fallback can be activated.
To keep backwards compatibility of opam files, we added a specific Software
Heritage URL syntax to the url.mirrors:
field, which is used to specify
mirrors of the main URL. Opam 2.2.+ understands this specific syntax as a
Software Heritage fallback URL: https://swhid.opam.ocaml.org/<SWHID>
.
url {
src: "https://faili.ng/url.tar.gz"
checksum: "sha512=e2146c1d7f53679fd22df66c9061b5ae4f8505b749513eedc67f3c304f297d92e54f5028f40fb5412d32c7d7db92592eacb183128d2b6b81d10ea716b7496eba"
mirrors: [
"https//failli.ng/mirror.tar.gz"
"https://swhid.opam.ocaml.org/swh:1:dir:9f2be900491e1dabfc027848204ae01aa88fc71d"
]
}
To add a Software Heritage fallback URL to your package, use the
swhid
library. Specifically the
Compute.directory_identifier_deep
function:
Compute.directory_identifier_deep
. You can use this oneliner in the directory:ocaml -e '#use "topfind";; #require "digestif.ocaml";; #require "swhid";; Swhid_core.Object.pp Format.std_formatter (Result.get_ok (Swhid.Compute.directory_identifier_deep "."))'
Special thanks to @zapashcanon for collaborating on this feature.
It is now possible to leverage the full expressivity of package dependency formulas from the command line during switch creation and package operations.
It is possible to create a switch using a formula. For example, with
ocaml-variant
or ocaml-system
, excluding ocaml-base-compiler
:
opam switch create ocaml --formula '"ocaml-variants" {>= "4.14.1"} | "ocaml-system"'
This syntax is brought to install commands. For example, while installing a
package, let's say genet
, you can specify that you want to install either
conf-mariadb & mariadb
or conf-postgresql
:
opam install genet --formula '["mysql" ("conf-mariadb" & "mariadb" | "conf-postgresql")]'
Here are several of new options (possibly scripts breaking changes are marked with β):
opam pin --current
to fix a package to its current state (disabling pending
reinstallations or removals from the repository). The installed package will
be pinned with the opam file that is stored in opam internal state, the one
that is currently installed.
opam pin remove --all
to remove all the pinned packages from a switch.
opam pin remove pkg.version
now removes the pins on pinned pkg.version
.
opam exec --no-switch
to remove opam environment from launched command.
$ export FOOVAR=env
$ opam show foo --field setenv
FOOVAR = "package"
$ opam exec -- env | grep "OPAM_SWITCH\|FOO"
FOOVAR=package
OPAM_SWITCH_PREFIX=~/.opam/env
$ opam exec --no-switch -- env | grep "OPAM_SWITCH\|FOO"
FOOVAR=env
opam source --no-switch
to allow downloading package sources without having
an installed switch (instead of failing).
opam clean --untracked
to remove untracked files interactively remaining
from previous packages removal.
opam switch -
, inspired from git switch -
, that goes back to the previously
selected global switch.
opam admin add-constraint <cst> --packages pkg1,pkg2,pkg3
to select
a subset of packages to apply constraints.
β Change --base
into --invariant
. opam switch
compiler column now
contains installed packages that verifies invariant formula, and empty
synopsis shows switch invariant.
$ opam switch create inv --formula '["ocaml" {>= "4.14.1"} "dune"]'
$ opam switch invariant
["ocaml" {>= "4.14.1"} "dune"]
$ opam list --invariant
# Packages matching: invariant
# Name # Installed # Synopsis
dune 3.8.2 Fast, portable, and opinionated build system
ocaml 5.0.0 The OCaml compiler (virtual package)
$ opam switch list
# switch compiler description
β inv ocaml-base-compiler.5.0.0,ocaml-options-vanilla.1 ocaml >= 4.14.1 & dune
In case you plan a possible rollback, you may want to first backup your
~/.opam
directory.
The upgrade instructions are unchanged:
bash -c "sh <(curl -fsSL https://raw.githubusercontent.com/ocaml/opam/master/shell/install.sh) --version 2.2.0~alpha"
Or download manually from the Github "Releases" page to your PATH.
Then run:
opam init --reinit -ni
Please report any issues to the bug-tracker.
Thanks for trying this new release out, and we're hoping you will enjoy the new features!
After two alpha releases, the release of OCaml 5.1.0 is drawing near. We have thus released a first beta version of OCaml 5.1.0 to help you update your softwares and libraries ahead of the release (see below for the installation instructions). Compared to the last alpha release, this beta contains two subtle internal runtime fixes and one Windows fix. Overall, the opam ecosystem looks in a good shape for the first beta release.
If you find any bugs, please report them on OCaml's issue tracker.
Nearly all core development tools support OCaml 5.1.0, and you can follow the last remaining wrinkles on the opam readiness for 5.1.0 meta-issue.
Currently, the release is planned for the end of July or the beginning of August.
If you are interested in full list of features and bug fixes of the new OCaml version, the updated change log for OCaml 5.1.0 is available on GitHub.
The base compiler can be installed as an opam switch with the following commands on opam 2.1:
opam update
opam switch create 5.1.0~beta1
The source code for the alpha 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.1.0~beta1+options <option_list>
where option_list
is a space-separated list of ocaml-option-*
packages. For instance, for a flambda
and no-flat-float-array
switch:
opam switch create 5.1.0~beta1+flambda+nffa ocaml-variants.5.1.0~beta1+options ocaml-option-flambda ocaml-option-no-flat-float-array
All available options can be listed with opam search ocaml-option
.
#12037: Fix some data races by using volatile when necessary (Fabrice Buoro and Olivier Nicole, review by Guillaume Munch-Maccagnoni, Gabriel Scherer and Luc Maranget)
#12253, #12342: Fix infinite loop in signal handling. (Guillaume Munch-Maccagnoni, report by Thomas Leonard, review by KC Sivaramakrishnan and Sadiq Jaffer)