Skip to content

1.19.3
Compare
Choose a tag to compare
@gares gares released this 27 Jun 08:50
· 128 commits to master since this release
v1.19.3
This tag was signed with the committer’s verified signature.
gares Enrico Tassi
GPG key ID: 250533CCA29B764F
Learn about vigilant mode.
3c78097

CHANGES:

Requires Menhir 20211230 and OCaml 4.08 or above.

  • Linter:

    • Fix regex for linearity check, Foo_Bar was silently ignored for
      linearity purpose

  • Parser:

    • Fix error message for named quotation

  • Runtime:

    • Fix missing restriction
Assets 3
Loading