Ray Blaak scripsit:

> The Gnu Ada system has essentially this approach, and it works well
> enough, but Ada does have the advantage (for library implementors at
> least) that there is a separation of "interfaces" from "implementation"
> files so compiling interfaces on the fly is radically cheaper then
> compiling entire implementations on the fly.

In fact, attempting to compile an interface file in GNU Ada simply syntax
checks it.  When compiling an implementation, all interfaces used by it,
including its own (export) interface, must be available in source form.

The compiler maintains the last-modified timestamp of both interface
and implementation sources in association with the compiled output,
so that recompilation will be suppressed if nothing has changed.

--
One Word to write them all,             John Cowan <xxxxxx@reutershealth.com>
  One Access to find them,              http://www.reutershealth.com
One Excel to count them all,            http://www.ccil.org/~cowan
  And thus to Windows bind them.                --Mike Champion