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

Non-uniform treatment of toplevel modules and submodules #22

Closed
dbuenzli opened this issue Sep 20, 2016 · 1 comment
Closed

Non-uniform treatment of toplevel modules and submodules #22

dbuenzli opened this issue Sep 20, 2016 · 1 comment
Labels

Comments

@dbuenzli
Copy link
Contributor

Asetmap has no toplevel module Asetmap : sig ... end definition.

Asetmap.Set has a module Set : sig end definition.

This should be unified, I would be in favor of dropping the module Set : sig end as it is kind of redundant.

@lpw25 lpw25 added the output label Sep 25, 2016
@dbuenzli
Copy link
Contributor Author

Follow up there #38 we should discuss this it also affects how we would like functors to be rendered.

Julow pushed a commit to Julow/odoc that referenced this issue Dec 11, 2024
tests link in docstrings

Co-authored-by: Emile Trotignon <emile@tarides.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

No branches or pull requests

2 participants