[m-dev.] duplicate include_modules

Zoltan Somogyi zs at cs.mu.OZ.AU
Thu Oct 16 14:27:02 AEST 2003

If you have a module in which you have code such as

	:- include_module x.
	:- include_module x.

you don't get a warning, much less an error. The reason why it would be
preferable to get an error for code like this is:

- if you delete one of the above lines, you may think you have removed
  module x from the containing module, but you haven't, and
- the duplication may not be easy to see if the duplicate lines are
  some distance apart.

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