`:check-docstrings` is confused when no module is loaded

GaloisInc / cryptol

Cryptol: The Language of Cryptography

https://galoisinc.github.io/cryptol/master/RefMan.html

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

1.14k stars 126 forks source link

`:check-docstrings` is confused when no module is loaded #1722

Closed yav closed 3 months ago

yav commented 3 months ago

To reproduce, run :check-docstrings right after starting Cryptol. It says:

Cryptol> :check-docstrings 

Checking Cryptol

Checking submodule Cryptol::Bool

Checking submodule Cryptol::Word

Checking submodule Cryptol::Char

Checking submodule Cryptol::String

Checking submodule Cryptol::lg2

Checking submodule (Cryptol::<=)
...

Form some reason it thinks that the functions are submodules.

glguy commented 3 months ago

Fixed in #1726