Stream: Elpi users & devs

Topic: OCaml 4.10 and later constraint

view this post on Zulip Karl Palmskog (Dec 29 2023 at 20:29):

Can the OCaml >= 4.10.0 constraint for coq-elpi please be propagated upstream? Both recent coq-elpi releases had the following problem on 4.09:

# File "src/coq_elpi_arg_HOAS.ml", line 54, characters 2-18:
# 54 |   CList.concat_map intern_one ctx |> List.rev
#        ^^^^^^^^^^^^^^^^
# Error: Unbound value CList.concat_map

Last updated: Oct 13 2024 at 01:02 UTC