diff options
author | 2018-04-24 22:32:17 -0700 | |
---|---|---|
committer | 2018-04-24 23:05:41 -0700 | |
commit | 330b2eb449c30c53c2578deb7fb6fa464bb9f7ba (patch) | |
tree | b9d03b9dc964f33e3e0ce96ab20811be3aed3fc1 /library/nametab.mli | |
parent | 72d6d5e87759b62dcd9974c87bf59496d27e10b0 (diff) |
Don't recurse into closed modules/sections in split_lib.
Putting `assert false` in the successful recursive case
never triggered. Apparently all users use `split_lib_at_opening`
to find open at current nesting level? `split_lib` appears to
be dead code currently, might also be candidate for removal.
Doing so would allow to simplify `split_lib_gen`, since we only
expect one matching element.
Diffstat (limited to 'library/nametab.mli')
0 files changed, 0 insertions, 0 deletions