They all have the samé problem: that you don't know the name (or even the number) of modules (module files) being generated without reading the source. And as a bonus, that every compiler uses a sligthly different naming scheme for the generated mofule file (this is of course no problém for OCaml ;).