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

Ocamldoc, latex backend: labels for exception #1457

Merged
merged 2 commits into from Oct 28, 2017

Conversation

Octachron
Copy link
Member

This brief PR restores the label for exceptions in the latex backend of ocamldoc (which fixes a handful of missing reference warnings in the latex version of the manual).

@gasche
Copy link
Member

gasche commented Oct 27, 2017

The label was removed by dcceb46. Could you add an exception declaration to the regression testsuite ?

This commit fixes the lack of label for exception definition in the latex
backend of ocamldoc.
@Octachron Octachron force-pushed the ocamldoc_latex_exception_label branch from fec6c35 to 44c1bbe Compare October 27, 2017 18:41
@Octachron
Copy link
Member Author

This is clearly needed indeed. I have added an exception definition and some references to the extensible variants test for the latex backend, and fixed the reference file for the inlined record test .

@gasche
Copy link
Member

gasche commented Oct 27, 2017

You need a Changes entry, as the label regression is present in released OCaml versions I think.

@Octachron
Copy link
Member Author

I added the change entry in the 4.06 section for now. Please tell me if I should move it to trunk.

@gasche gasche merged commit c0ded0e into ocaml:trunk Oct 28, 2017
@gasche
Copy link
Member

gasche commented Oct 28, 2017

Cherry-picked in 4.06 ( edb532b ).

gasche pushed a commit that referenced this pull request Oct 28, 2017
This commit fixes the lack of label for exception definition in the latex
backend of ocamldoc.

(cherry picked from commit c0ded0e)
EmileTrotignon pushed a commit to EmileTrotignon/ocaml that referenced this pull request Jan 12, 2024
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.

None yet

2 participants