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

Compat with OCaml 5.3.0~alpha1 #1202

Open
wants to merge 1 commit into
base: master
Choose a base branch
from
Open

Conversation

Julow
Copy link
Collaborator

@Julow Julow commented Sep 30, 2024

No description provided.

@@ -9,7 +9,7 @@ and that "hidden" modules (eg. `A__b`, rendered to `html/A__b`) are not rendered
$ ocamlc -bin-annot -o a__b.cmo -c b.ml
$ ocamlc -bin-annot -o a.cmi -c a.mli
$ ocamlc -bin-annot -o a.cmo -c a.ml
$ ocamlc -bin-annot -a -o a.cma a.cmo a__b.cmo
$ ocamlc -bin-annot -a -o a.cma a__b.cmo a.cmo
Copy link
Collaborator Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

The compiler caught a potential bug:

  $ ocamlc -bin-annot -a -o a.cma a.cmo a__b.cmo
  File "_none_", line 1:
  Error: Wrong link order: A (a.cmo) depends on A__b (a__b.cmo)
  [2]

@Julow Julow added the no changelog This pull request does not need a changelog entry label Sep 30, 2024
Copy link
Collaborator

@panglesd panglesd left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks good to me!

module X' : sig type t = SubX.t end
end
module type X6 = sig type t end

Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

What went wrong here?

Copy link
Collaborator Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Output is unstable due to the new functor syntax in module type exprs. I thought this output wasn't very interesting so I removed it.

Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Copy link
Collaborator Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

That's a shame indeed. The command can still be added temporarily again to debug the test.
Anyway, that's an automated test.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
no changelog This pull request does not need a changelog entry
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants