Forums : Technical Issue Help
Dear Open Hub Users,
We’re excited to announce that we will be moving the Open Hub Forum to
https://community.blackduck.com/s/black-duck-open-hub.
Beginning immediately, users can head over,
register,
get technical help and discuss issue pertinent to the Open Hub. Registered users can also subscribe to Open Hub announcements here.
On May 1, 2020, we will be freezing https://www.openhub.net/forums and users will not be able to create new discussions. If you have any questions and concerns, please email us at
[email protected]
Ocaml language LoC is negative for Coq
There seems to be an issue when counting line of code. https://www.ohloh.net/p/coq/analyses/latest shows that -2,321 lines were written in Ocaml. The real value is about +230,000.
Hi Guillaume,
Yes, something seems to have gone wrong. I've started a full recount of the project history. If that doesn't clear up the problem I'll investigate.
Thanks,
Robin
Thanks a lot for the prompt fix; the problem seems to be fixed.
By the way, I notice that the line count is still a bit off. It may be that you don't take .ml4 files into account. They are OCaml files too; the extension tells the compiler that it has to run the CamlP4 preprocessor on them. (This extension is not specific to the Coq project, though it may be the biggest user of ml4 files.)
Yes, it looks like we only process *.ml and *.mli.
Can *.ml4 files be fed to our regular OCaml parser without any problems?
Looking at the ocaml.rl file, it seems the parser only cares about strings and (nested) comments. Therefore, I don't expect any issue while parsing .ml4 files. Thanks.
Hi Guillaume,
This was a fairly trivial fix so I've committed the change.
The next time we deploy new code to our servers, we can recount this project and pick up the *.ml4 files. It might be a week or so before the next deploy.
(And if nothing happens, that means I forgot, so please remind me!)
Thanks,
Robin