Re: convenient features

[Markus Mottl <mottl@miss.wu-wien.ac.at>]

On Wed, 28 Jun 2000, David Chemouil wrote:
> 1. One thing that really bothers me is the obligation to put object
> files in the good order, when linking them.

To my knowledge the reason for this is that you might otherwise have
difficulties with linking, because some library may contain a module
with the same name. By requiring correct order of files during linking,
it is possible to "override" the names provided in libraries or earlier
on the command line. E.g., if you want to use a different implementation
for sets, just link against some other set.cmo: it overrides whatever
was used before.

> As it is possible to
> generate the dependency graph (ocamldot does it), wouldn't it be
> possible for the linker to "flatten" it, in order for it to find alone
> the good order?

Maybe a tool that prints out a correct order for a set of files would
be helpful. This should be fairly easy to do - possibly just grab the
code from ocamldot.

Best regards,
Markus Mottl

-- 
Markus Mottl, mottl@miss.wu-wien.ac.at, http://miss.wu-wien.ac.at/~mottl