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

OCaml 5.2 support #168

Closed
kit-ty-kate opened this issue Feb 7, 2024 · 2 comments
Closed

OCaml 5.2 support #168

kit-ty-kate opened this issue Feb 7, 2024 · 2 comments

Comments

@kit-ty-kate
Copy link
Contributor

The latest release of ocp-index currently fails with the following error when using OCaml 5.2:

#=== ERROR while compiling ocp-index.1.3.5 ====================================#
# context              2.2.0~beta2~dev | linux/x86_64 | ocaml-variants.5.2.0+trunk | file:///home/opam/opam-repository
# path                 ~/.opam/5.2/.opam-switch/build/ocp-index.1.3.5
# command              ~/.opam/5.2/bin/dune build -p ocp-index -j 1
# exit-code            1
# env-file             ~/.opam/log/ocp-index-19-80ca4b.env
# output-file          ~/.opam/log/ocp-index-19-80ca4b.out
### output ###
# (cd _build/default && /home/opam/.opam/5.2/bin/ocamlc.opt -w -40 -w -9 -g -bin-annot -I libs/.indexLib.objs/byte -I /home/opam/.opam/5.2/lib/bytes -I /home/opam/.opam/5.2/lib/ocaml/compiler-libs -I /home/opam/.opam/5.2/lib/ocp-indent/lexer -I /home/opam/.opam/5.2/lib/ocp-indent/utils -intf-suffix .ml -no-alias-deps -o libs/.indexLib.objs/byte/indexBuild.cmo -c -impl libs/indexBuild.pp.ml)
# File "libs/indexBuild.ml", line 450, characters 4-23:
# Error: The constructor "Types.Type_abstract" expects 1 argument(s),
#        but is applied here to 0 argument(s)
# (cd _build/default && /home/opam/.opam/5.2/bin/ocamlc.opt -w -40 -w -9 -g -bin-annot -I libs/.indexLib.objs/byte -I /home/opam/.opam/5.2/lib/bytes -I /home/opam/.opam/5.2/lib/ocaml/compiler-libs -I /home/opam/.opam/5.2/lib/ocp-indent/lexer -I /home/opam/.opam/5.2/lib/ocp-indent/utils -intf-suffix .ml -no-alias-deps -o libs/.indexLib.objs/byte/indexPredefined.cmo -c -impl libs/indexPredefined.pp.ml)
# File "libs/indexPredefined.ml", line 35, characters 24-89:
# Error: This expression has type
#          "('a * (Asttypes.variance * Asttypes.injectivity)) list"
#        but an expression was expected of type "Outcometree.out_type_param list"
#        Type "'a * (Asttypes.variance * Asttypes.injectivity)"
#        is not compatible with type "Outcometree.out_type_param"
# (cd _build/default && /home/opam/.opam/5.2/bin/ocamlopt.opt -w -40 -w -9 -g -I libs/.indexLib.objs/byte -I libs/.indexLib.objs/native -I /home/opam/.opam/5.2/lib/bytes -I /home/opam/.opam/5.2/lib/ocaml/compiler-libs -I /home/opam/.opam/5.2/lib/ocp-indent/lexer -I /home/opam/.opam/5.2/lib/ocp-indent/utils -intf-suffix .ml -no-alias-deps -o libs/.indexLib.objs/native/indexPredefined.cmx -c -impl libs/indexPredefined.pp.ml)
# File "libs/indexPredefined.ml", line 35, characters 24-89:
# Error: This expression has type
#          "('a * (Asttypes.variance * Asttypes.injectivity)) list"
#        but an expression was expected of type "Outcometree.out_type_param list"
#        Type "'a * (Asttypes.variance * Asttypes.injectivity)"
#        is not compatible with type "Outcometree.out_type_param"
@kit-ty-kate
Copy link
Contributor Author

This was apparently fixed by #169. Could we have a release? I can handle the opam-repository side of the work whenever a tag is accessible if that helps

@kit-ty-kate
Copy link
Contributor Author

Fixed and released in 1.3.6

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

No branches or pull requests

1 participant