[new release] elpi (3.5.0)

[gares]

ELPI - Embeddable λProlog Interpreter

• Project page: https://github.com/LPCIC/elpi
• Documentation: https://LPCIC.github.io/elpi/

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