[ANN] New release of Monolith

Community
1

Dear OCaml users,

I am pleased to announce a new release of Monolith, a library that helps perform strong automated testing of OCaml libraries.

opam update
opam install monolith.20241126

The changes are as follows:

  • The documentation of the specification combinators has been re-organized
    in sections and subsections. Finding the desired combinator should now be
    easier.

  • The new combinator naive_array offers limited support for arrays.

  • The new combinator naive_seq offers limited support for sequences
    (that is, for the type constructor Seq.t).

  • The new combinator pair is a synonym for ( *** ).

  • The new combinator triple offers support for triples.

  • The new combinator either offers support for the type constructor
    Either.t.

  • The new combinators iter, foldr, foldl, iteri, foldri, foldli
    offer support for iteration functions.

  • An unintentional and undocumented limitation has been fixed: so far, uses of
    the combinator map_into would work only at the root of the specification
    or in the right-hand side of an arrow ^>. It should now be possible to use
    map_into under other combinators that expect a deconstructible
    specification, such as ^!> (in the right-hand side), ( *** ), option,
    result, list, etc. This improvement affects not only map_into, but
    also a number of other combinators that are defined in terms of map_into.

  • Monolith now requires OCaml 4.12 or later.

  • In Makefile.monolith,

    • the default switch is changed from 4.11.1 to 4.14.2;
      this can be overridden by defining SWITCH;
    • make test automatically disables the MacOS crash reporter;
    • the use of ulimit -s is abandoned.
1 Like