[new release] odoc (2.0.0)

[jonludlam]

OCaml documentation generator

• Project page: http://github.com/ocaml/odoc
• Documentation: https://ocaml.github.io/odoc/

CHANGES:

Breaking changes

• Remove odoc-parser into a separate repository (@jonludlam, Odoc parser opam package odoc#700)

Additions

• OCaml 4.13 support (@Octachron, Minimal 4.13 support odoc#687, Support for "with module type" constraints odoc#689)
• Better errors/warnings (@Julow, Aggregate "root" lookup failures odoc#692, Report failures when resolving references odoc#717, Handle ambiguous labels odoc#720, OpaqueModule is not necessarily an error odoc#732)
• ModuleType 'Alias' support (@jonludlam, Module type alias odoc#703)
• Improved test suite (@lubega-simon, Improve generators tests v2 odoc#697)
• Improved documentation (@lubega-simon, @jonludlam, Improve docs odoc#702, Better docs odoc#733)
• Strengthen module types (@jonludlam, Strengthen module types odoc#731)

Bugs fixed

• uwt now can be documented (@jonludlam, Fix a bug in subst noticed in uwt odoc#708)
• Fix resolution involving deeply nested substitutions (@jonludlam, Fix resolution involving deeply nested substitutions odoc#727)
• Fix off-by-one error in error reporting (@asavahista, fix line number off-by-one-error odoc#736)

[mseri]

Suggested change

	"cppo" {build}
	"cppo" {build & >= "1.1.0"}

This is when the -V flag was introduced

[mseri]

Suggested change

	["dune" "subst"] {pinned}
	["dune" "subst"] {dev}

[jonludlam]

ah, thanks @mseri! was just looking up the '-V' thing :-)

[mseri]

The remaining lower bound issue is related to a missing lower bound/conflict in logs.
We only need to add the relevant upper bounds to mdx and ocamlformat, then is good to merge!

[jonludlam]

Great!

[jonludlam]

It's part of a fix for this build failure: https://opam.ci.ocaml.org/github/ocaml/opam-repository/commit/4dc4b7d1f3111293c80245d75e589ef88b49ff41/variant/opam-2.1,compilers,4.02,odoc.2.0.0,lower-bounds - pconv was introduced in cmdliner 1.0.0

[mseri]

Oh I see, I had missed the pconv failure!

[jonludlam]

OK looks to me like all the failures are down to other things now.

[mseri]

Let's fix the remaining lower bound issues on mdx and ocamlformat-rpc given that we are here. I can spend some time suggesting the fix tomorrow

[jonludlam]

Looks like logs.fmt turned up in logs.0.5.0 (mentioned here: https://v3.ocaml.org/p/logs/0.5.0), Ast_408 is in migrate_parsetree 1.3.0, Odoc_model was in odoc 1.5.0, Re.Glob is 1.8.0.

v3.ocaml.org/packages is very useful in figuring out these constraint problems!

[mseri]

Oh cool, thanks! I should really start using it. Having to crawl git tags of all the repos each time is quite a nightmare

[jonludlam]

It's not perfect because v3 doesn't build with all depopts, but it's definitely easier than faffing with tags!

[mseri]

Thanks a lot!
Last question, to @gpetiot and @Leonidas-from-XIV then I merge.
Is mdx 1.8 - 1.10 incompatible with ocaml 4.13? Can you have a look at the CI failures, e.g. https://opam.ci.ocaml.org/github/ocaml/opam-repository/commit/2a51dfa06784cb005cf79a554a3dad90b0219610/variant/opam-2.1,compilers,4.13,mdx.1.10.0?

[gpetiot]

Regarding the ocamlformat issues, apparently there is now a fixed dependency in bisect_ppx to ocamlformat since bisect_ppx.2.6.0. I'm not sure it's a good practice to make any package depend on ocamlformat, but it's a test dependency.

We can change the dependency to bisect_ppx to:
"bisect_ppx" {with-test & = "2.5.0"} in ocamlformat's opam files.
An even better solution would be to just remove this dependency.

[mseri]

The remaining failures will need to be addressed separately. I think it is better to release some resources and deal with them on the side

[mseri]

@gpetiot thanks for the clarification.
As per mdx the upper bound on 4.13 has just been added in #19637

[Leonidas-from-XIV]

@mseri mdx 1.10.1 adds support for 4.13