3.5.0

CHANGES:

Requires Menhir 20211230 and OCaml 4.14 or above on Linux, Windows and
MacOS 14 (Sonoma). MacOS 15 (Sequoia) and later require OCaml 5.4.

• Typechecker:

  • Change: disallow undeclared data constructors and predicates

• Compiler:

  • New allow builtins to be declared in extension units (not just in the
    base)

• Typechecker:

  • Fix error messages when there is an arity mismatch, i.e. suggest some
    arguments may be missing
  • Change symbols without a declared signature raise a fatal error. Only
    undeclared predicates are tolerated, and only when the inferred type is
    unambiguously prop