Re: [Sml-implementers] compilation management

[John H. R. <jh...@re...>]

In message <C70...@EX...>, Robert 
Harper writes:
>
> Just to be sure we're on the same page, let me say that I would not want to
> standardize on a TOOL, but rather a LANGUAGE for expressing separate
> compilation.  In particular, saying that CM could be made to generate one
> huge source file for those of us that don't implement CM is a non-starter.
> 
> An anology: CM is like type inference; we want to specify the underlying
> explicitly typed syntax.

This is what Matthias is proposing.  An explicit syntax for describing
how to assemble libraries/applications from sources.  CM can be used to
generate such a description from a list of sources.

	- John