Jeff Henrikson wrote:
> I recently had a shocking realization about why some of my experiments
> with camlp4 weren't compiling.  I had been linking camlp4.cma, which was
> the old name of the library.  Now camlp4.cma doesn't exist and there are
> multiple flavors Camlp4xxx.cma where the xxx is the same flavor notation
> of the the preprocessor binaries.  So the trouble is, why was linking
> such a library not a fatal?  Apparently all missing .cma and .cmo files
> passed on the command line are considered non-errors.

.cma and .cmo files are not used during compilation. They make sense
only for link operations (including -pack and -a). One might argue that
the compiler should issue a warning when useless .cma and .cmo are given
on the command line.

-- Alain