Functor docstrings - Githubissues

GaloisInc / cryptol

Cryptol: The Language of Cryptography

BSD 3-Clause "New" or "Revised" License

1.14k stars 126 forks source link

Closed glguy closed 3 months ago

glguy commented 3 months ago

Fix docstring behaviors around functors

Don't duplicate docstrings onto modules generated by the desugarer
Combine docstrings when instantiating a functor to preserve both the instance and the instantiated documentation

Suppresses extraneous :check-docstring output

Avoids printing definition names in a way that labels them as submodules

Fixes #1723