diff options
| author |  Jasper Hugunin <jasperh@cs.washington.edu> | 2018-04-24 22:32:17 -0700 |
|---|---|---|
| committer | Jasper Hugunin <jasperh@cs.washington.edu> | 2018-04-24 23:05:41 -0700 |
| commit | 330b2eb449c30c53c2578deb7fb6fa464bb9f7ba (patch) | |
| tree | b9d03b9dc964f33e3e0ce96ab20811be3aed3fc1 /library/globnames.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/globnames.mli')
0 files changed, 0 insertions, 0 deletions