Skip to content
Success

Changes

Summary

  1. stdlib: provide a sequential interface of the Atomic module from OCaml Multicore (commit: 04d9c42) (details)
  2. fix the testsuite (and add -dno-unique-ids where reasonable) (commit: c544d64) (details)
  3. fix the manual and improve the check-stdlib-modules error message (commit: 4c05c9d) (details)
Commit 04d9c425f38e892232078b7f56a1d323dcf8ba00 by gabriel.scherer
stdlib: provide a sequential interface of the Atomic module from OCaml Multicore

This module provides a purely sequential implementation of the
concurrent atomic references provided by the Multicore OCaml
standard library:

https://github.com/ocaml-multicore/ocaml-multicore/blob/parallel_minor_gc/stdlib/atomic.mli

This sequential implementation is provided in the interest of
compatibility: when people will start writing code to run on
Multicore, it would be nice if their use of Atomic was
backward-compatible with older versions of OCaml without having to
import additional compatibility layers. *)
(commit: 04d9c42)
The file was modifiedstdlib/StdlibModules (diff)
The file was modifiedstdlib/stdlib.mli (diff)
The file was addedstdlib/atomic.mli
The file was modifiedChanges (diff)
The file was addedstdlib/atomic.ml
The file was modifiedstdlib/stdlib.ml (diff)
The file was addedtestsuite/tests/lib-atomic/test_atomic.ml
The file was modifiedstdlib/.depend (diff)
Commit c544d640b63ef14c06aeaf08853865efd642159a by gabriel.scherer
fix the testsuite (and add -dno-unique-ids where reasonable)
(commit: c544d64)
The file was modifiedtestsuite/tests/formatting/test_locations.ml (diff)
The file was modifiedtestsuite/tests/formatting/test_locations.dlocations.ocamlopt.clambda.reference (diff)
The file was modifiedtestsuite/tests/formatting/test_locations.dno-locations.ocamlopt.flambda.reference (diff)
The file was modifiedtestsuite/tests/formatting/test_locations.dno-locations.ocamlc.reference (diff)
The file was modifiedtestsuite/tests/typing-sigsubst/sigsubst.ml (diff)
The file was modifiedtestsuite/tests/tool-ocamlc-stop-after/stop_after_typing_impl.compilers.reference (diff)
The file was modifiedtestsuite/tests/tool-ocamlc-stop-after/stop_after_typing_impl.ml (diff)
The file was modifiedtestsuite/tests/formatting/test_locations.dno-locations.ocamlopt.clambda.reference (diff)
The file was modifiedtestsuite/tests/generalized-open/gpr1506.ml (diff)
The file was modifiedtestsuite/tests/formatting/test_locations.dlocations.ocamlopt.flambda.reference (diff)
The file was modifiedtestsuite/tests/formatting/test_locations.dlocations.ocamlc.reference (diff)
Commit 4c05c9d8db44377e35d78a6d486a081b74aa1525 by gabriel.scherer
fix the manual and improve the check-stdlib-modules error message
(commit: 4c05c9d)
The file was modifiedmanual/manual/library/stdlib-blurb.etex (diff)
The file was modifiedmanual/tests/check-stdlib-modules (diff)