[m-dev.] interface files

Zoltan Somogyi zs at cs.mu.OZ.AU
Mon May 24 11:07:00 AEST 2004

On 24-May-2004, Simon Taylor <stayl at cs.mu.OZ.AU> wrote:
> That's most of the problem.  modules.m needs to do a transitive
> closure of the items needed by items in the interface to work
> out what is actually required.

Thanks. I figured that, but it is nice to have it confirmed. I asked
Julien to look into fixing this problem.

> > So we have a situation in which fellow submodules of check_hlds.m
> > don't depend on check_hlds.typecheck.int2, while submodules of other
> > top-level modules, such as aditi_backend.m do depend on
> > check_hlds.typecheck.int2.
> `mmc --generate-dependencies' is very conservative.

OK, but I still don't understand how and why the above situation ever arises,
and in practice, the problem seems to persist. I don't know whether it
occurs only in workspaces I freshly created or not; I will look out for this
in the future.

> Compiling with `--smart-recompilaton' may also help.

I'll look into that. I tried --mmc-make, but it didn't work: it still needed
.mh files, but didn't create them.

mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au

More information about the developers mailing list