[new release] elpi (1.14.0)
[new release] elpi (1.14.0)

CHANGES:

- Runtime/FFI:
  - Fix handling of eta expanded unification variables. Many thanks to
    Nathan Guermond for testing this tricky case.
  - Change `Rawdata.Constants.eqc` to a builtin
  - Fix `Rawdata.Constants.cutc` has always been a builtin
  - Fix compatibility with OCaml multicore, no more `PtrMap`
- API:
  - New `FlexibleData.WeakMap` to link unification variables with host
    data based on OCaml's `Ephemeron`
  - Change `Conversion.extra_goals` is now an extensible data type with one
    standard constructor `Conversion.Unify` taking two terms
  - New `RawData.set_extra_goals_postprocessing` can be used to
    post process the extra goals generated by an FFI call.
    One has to translate extensions to the `extra_goals` datatype to
    `RawData.RawGoal` (or `Conversion.Unify`), but can also take global
    actions like cancelling out useless or duplicate goals
  - Change `Setup.init` to take in input a `~file_resolver` rather than a list
    of `~paths` and a `~basedir`. A custom file resolver can use some logic
    from the host application to find files, rather than an hardcoded one
  - New `Parse.std_resolver` building a standard resolver (based on paths)
  - Change signature of `Parse.resolve_file` making `?cwd` explicit
- Library:
  - Better error messages in `std.nth`
  - `declare_constraint` is now `variadic any prop`, so that one can pass
    variables of different types as keys for the constraint. A list of variables
    (of the same type) is still supported.

pirbo/opam-repository,Chris00/opam-repository,Chris00/opam-repository,pqwy/opam-repository,yallop/opam-repository,ocaml/opam-repository,Leonidas-from-XIV/opam-repository,ocaml/opam-repository,mjambon/opam-repository,fpottier/opam-repository,nberth/opam-repository,kkirstein/opam-repository,hannesm/opam-repository,kkirstein/opam-repository,andersfugmann/opam-repository,fpottier/opam-repository,mjambon/opam-repository,c-cube/opam-repository,codinuum/opam-repository,yallop/opam-repository,emillon/opam-repository,pqwy/opam-repository,Leonidas-from-XIV/opam-repository,djs55/opam-repository,astrada/opam-repository,emillon/opam-repository,jhwoodyatt/opam-repository,hannesm/opam-repository,c-cube/opam-repository,astrada/opam-repository,djs55/opam-repository,pirbo/opam-repository,codinuum/opam-repository,andersfugmann/opam-repository,nberth/opam-repository,jhwoodyatt/opam-repository