Skip to content

1.19.1
Compare
Choose a tag to compare
@gares gares released this 03 Jun 08:55
· 256 commits to master since this release
v1.19.1
This tag was signed with the committer’s verified signature.
gares Enrico Tassi
GPG key ID: 250533CCA29B764F
Verified
Learn about vigilant mode.
702576e

CHANGES:

Requires Menhir 20211230 and OCaml 4.08 or above.

Language:

  • New :index (<arg-spec>) "index-type" where the index type can be
    Map, Hash or DTree

Runtime:

  • Fix performance regression due to the fix to relocation in unification
    introduced in 1.19.0
  • New list flattening in DTree index, that is term app [t1,t2,t3]
    is indexed using the same DTree space/depth of term app t1 t2 t3
Assets 3
Loading