Join GitHub today
GitHub is home to over 31 million developers working together to host and review code, manage projects, and build software together.Sign up
Keep documentation comments in structures with no other items (MPR#7701 cont.) #1693
This stops us from dropping documentation comments in structures and signatures that have no other items in them. It also adds some more docstring tests and fixes some typos in the ocamldoc documentation.
This is a more complete fix than #1562, which only handled the case where the signature in question was an entire mli file.
referenced this pull request
Apr 3, 2018
Ok I moved the docstring tests into
A pure side comment. It would be nice for people reading the pull requests if the title of something like this was:
which make it easy for a casual reader to remember if is was a Mantis issue they are following.