[m-dev.] duplicate include_modules

[Zoltan Somogyi]

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.

Zoltan.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------