Karl Palmskog (May 05 2022 at 08:25): Karl Palmskog (May 05 2022 at 08:25):The failures here seem to indicate coq-elpi is currently broken on coq.dev: https://github.com/coq/opam-coq-archive/pull/2174
File "src/coq_elpi_vernacular.ml", line 29, characters 45-49:
# 29 | let hash = Digest.file (EP.resolve_file ~elpi ~unit:x ()) in
# ^^^^
# Error: The function applied to this argument has type
# ?cwd:string -> file:string -> string
Maybe already known, but maybe someone Elpi-knowledgeable could handle that PR...
Enrico Tassi (May 05 2022 at 11:36):The version of elpi (not coq-elpi) is too old, it should be 1.15.2 IIRC.
Enrico Tassi (May 05 2022 at 11:37):I'm on VAC today, I won't look into this, but using a more recent version of elpi should fix this.
Enrico Tassi (May 05 2022 at 11:37):Note that coq master CI is also using that elpi version I mention, so I don't know why you are getting this 1.14.x one
Notification Bot (May 05 2022 at 17:27):Pierre Roux has marked this topic as resolved.
Last updated: Oct 13 2024 at 01:02 UTC