Skip to content

1.16.6
Compare
Choose a tag to compare
@gares gares released this 19 Oct 09:20
· 451 commits to master since this release
v1.16.6
This tag was signed with the committer’s verified signature.
gares Enrico Tassi
GPG key ID: 250533CCA29B764F
Verified
Learn about vigilant mode.
d266a8a

CHANGES:

Requires Menhir 20211230 and OCaml 4.08 or above.
Camlp5 8.0 or above is optional.

  • API:

    • Fix FlexData.Elpi.make when called with a name after compilation is over
    • Fix RawQuery.mk_Arg can only be called at compile time
    • Fix anomaly in Query.compile

  • Trace:

    • Fix printing of clauses

  • Doc:

    • New setup based on Sphinx (still no extra contents)
Assets 3
Loading