RE: [Sml-implementers] compilation management

[Robert H. <Rob...@cs...>]

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.

We will send a brief summary of our compilation mechanism to this list
shortly.

Bob

-----Original Message-----
From: Matthias Blume [mailto:bl...@re...]
Sent: Wednesday, September 19, 2001 11:09 AM
To: Andrew Kennedy
Cc: Daniel C. Wang; Stephen Weeks;
sml...@li...
Subject: Re: [Sml-implementers] compilation management


Andrew Kennedy wrote:
> 
> (A) Agree on some way to map top-level SML Module identifiers (for
> structures, functors and signatures) to full file names identifying the
> file that contains the single binding for that Module entity (structure,
> functor or signature).

Sorry.  I will NEVER agree to that!

We had this discussion before in an OCaml vs. SML context.  A naming
convention
such as the above can be used by an implementation, but it should _not_ be
the common ground on which we all live.  It is trivial to map implicit file
naming such as the one you suggest to explicit naming, but not vice versa.

As I said, I will try to come up with a simple (although perhaps verbose)
and very explicit description format that we all can implement.  Systems
such
as CM or your implementation can take whatever scheme they use and
_generate_
the explicit format.   It is unlikely that we will ever agree on a
high-level
format (I for one will never agree to a modulename->filename mapping scheme,
and others seem to think that such as scheme is the only way they can
accept),
so abstracting from this issue is the only way to go.

Matthias

_______________________________________________
Sml-implementers mailing list
Sml...@li...
https://lists.sourceforge.net/lists/listinfo/sml-implementers