The failures here seem to indicate coq-elpi is currently broken on
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...
The version of elpi (not coq-elpi) is too old, it should be 1.15.2 IIRC.
I'm on VAC today, I won't look into this, but using a more recent version of elpi should fix this.
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
Pierre Roux has marked this topic as resolved.
Last updated: Jun 06 2023 at 22:01 UTC