Skip to content

1.18.0
Compare
Choose a tag to compare
@gares gares released this 23 Oct 14:04
· 373 commits to master since this release
v1.18.0
This tag was signed with the committer’s verified signature.
gares Enrico Tassi
GPG key ID: 250533CCA29B764F
Verified
Learn about vigilant mode.
3cdb91a
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Verified
Learn about vigilant mode.

CHANGES:

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

API:

  • Change Setup.init takes a ?state, ?quotations and ?hooks descriptors so that
    each elpi handle is completely independent.
  • Change State.declare is deprecated in favor of State.declare_component
  • New State.declare_component like State.declare but takes a ~descriptor
  • New State.new_state_descriptor
  • Change Quotations.register_named_quotation now takes a ?descriptor
  • Change Quotations.set_default_quotation now takes a ?descriptor
  • Change Quotations.declare_backtick now takes a ?descriptor
  • Change Quotations.declare_singlequote now takes a ?descriptor
  • New Quotations.new_quotations_descriptor
  • Change RawData.set_extra_goals_postprocessing now takes a ?descriptor
  • New RawData.new_hoas_descriptor

What's Changed

  • Allow for multiple calls to API.Setup.init by @gares in #200

Full Changelog: v1.17.4...v1.18.0

Contributors

gares
Assets 3
Loading