Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Vcaml does not build with OCaml 5.1 #27342

Merged
merged 1 commit into from
Jan 30, 2025

Conversation

Leonidas-from-XIV
Copy link
Contributor

While attempting to view the documentation of the latest released version of vcaml (v.016.0) I noticed it didn't build. Turns out, when running it on 4.14.2 it works, same on 5.0.0 but on 5.1.1 it fails.

The build error looks like this

=== ERROR while compiling vcaml.v0.16.0 ======================================#
 context     2.2.1 | linux/x86_64 | ocaml-base-compiler.5.1.1 | https://opam.ocaml.org#4a9170ea6d035edaf46f2af0545ca66d06561668
 path        ~/place/vvvcaml/_opam/.opam-switch/build/vcaml.v0.16.0
 command     ~/.opam/opam-init/hooks/sandbox.sh build dune build -p vcaml -j 7
 exit-code   1
 env-file    ~/.opam/log/vcaml-794317-262fd9.env
 output-file ~/.opam/log/vcaml-794317-262fd9.out
 ## output ###
 [...]
 113 |     end)
 114 |     (Open_on_rhs_intf)
 115 |     ()
 Error: The functor application is ill-typed.
        These arguments:
          $S1 Open_on_rhs_intf ()
        do not match these parameters:
          functor (X : Base__Applicative_intf.For_let_syntax) (Intf : ...)
          (Impl : Intf.S) -> ...
        1. Module $S1 matches the expected module type Base__Applicative_intf.For_let_syntax
        2. Module Open_on_rhs_intf matches the expected module type
        3. The functor was expected to be applicative at this position

Thus I am suggesting this upper version constraint for vcaml.

Build error looks like this

=== ERROR while compiling vcaml.v0.16.0 ======================================#
 context     2.2.1 | linux/x86_64 | ocaml-base-compiler.5.1.1 | https://opam.ocaml.org#4a9170ea6d035edaf46f2af0545ca66d06561668
 path        ~/place/vvvcaml/_opam/.opam-switch/build/vcaml.v0.16.0
 command     ~/.opam/opam-init/hooks/sandbox.sh build dune build -p vcaml -j 7
 exit-code   1
 env-file    ~/.opam/log/vcaml-794317-262fd9.env
 output-file ~/.opam/log/vcaml-794317-262fd9.out
 ## output ###
 [...]
 113 |     end)
 114 |     (Open_on_rhs_intf)
 115 |     ()
 Error: The functor application is ill-typed.
        These arguments:
          $S1 Open_on_rhs_intf ()
        do not match these parameters:
          functor (X : Base__Applicative_intf.For_let_syntax) (Intf : ...)
          (Impl : Intf.S) -> ...
        1. Module $S1 matches the expected module type Base__Applicative_intf.For_let_syntax
        2. Module Open_on_rhs_intf matches the expected module type
        3. The functor was expected to be applicative at this position
@raphael-proust
Copy link
Contributor

trying to reprpduce locally, I'll merge afterwards

@raphael-proust
Copy link
Contributor

thanks

@raphael-proust raphael-proust merged commit 52dd4d8 into ocaml:master Jan 30, 2025
2 of 3 checks passed
@Leonidas-from-XIV Leonidas-from-XIV deleted the vcaml-ftbfs branch January 30, 2025 15:00
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants