Stream: Elpi users & devs

Topic: coq-elpi broken on `coq.dev`?


view this post on Zulip 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...

view this post on Zulip 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.

view this post on Zulip 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.

view this post on Zulip 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


Last updated: Feb 05 2023 at 14:02 UTC