Codept sees two files in one ("Local module conflict, module provided simultaneously")

Learning
1

I’m learning codept, and I tried to use it on the easy_logging package.

So I went to https://github.com/sapristi/easy_logging, donwloaded a copy, cd’ed into that copy and cd’ed into the easy_logging subdirectory, and then tried the following command :

codept . -pkg unix -pkg calendar -deps easy_logging.ml

I got the following, rather mysterious message :

$ codept . -pkg unix -pkg calendar -deps easy_logging.ml
[Fatal error]: Local module conflict,
Module Easy_logging is provided simultaneously by ./easy_logging.ml and
easy_logging.ml

codept seems to consider ./easy_logging.ml and easy_logging.ml as different files, even though they’re one and the same in Unix ???
This is not documented in the man page or readme unless I missed something.

2

That is a codept bug which is triggered by the fact that you are giving easy_logging.ml as an argument twice (since easy_logging.ml is part of the . directory).
Did you mean to use

codept . -pkg unix -pkg calendar -deps -ancestors-of easy_logging.ml

?