3.7.0

CHANGES:

Requires Menhir 20211230 and OCaml 4.14 or above on Linux, Windows and
MacOS.

• REPL:

  • elpi takes zero or one file (not more) when executing
  • elpi -deps prints a dot file with the direct dependencies of given files.
    Example: elpi -deps *.elpi | xdot -

• API:

  • Change: separate API for scoping AST or builtins. Scoping AST can return more
    than one scoped program, in particular it returns all accumulated code
    with file name and digest. Incidentally it also computes the dependencies
    of each file.
  • New: api to get the dependencies of a scoped program or compilation unit
  • New: api to map compilation units and apply a substitution on the CData
    they contain