[m-rev.] trivial diff: document a problem with the unused imports pass

[Julien Fischer]

Estimated hours taken: 0
Branches: main

compiler/unused_imports.m:
 	Document a problem with the analysis carried out by this module.

Julien.

Index: unused_imports.m
===================================================================
RCS file: /home/mercury/mercury1/repository/mercury/compiler/unused_imports.m,v
retrieving revision 1.6
diff -u -r1.6 unused_imports.m
--- unused_imports.m	1 Dec 2006 15:04:28 -0000	1.6
+++ unused_imports.m	19 Dec 2006 04:56:59 -0000
@@ -16,6 +16,12 @@
  % It also determines which imports aren't used in the interface, and thus
  % should only be in the implementation.
  %
+% XXX The analysis carried out here can break in the presence of procedures
+% that have both foreign language clauses and default Mercury clauses.
+% The problem is that some of module imports may only be required by
+% the Mercury clauses but these are thrown away if we use the foreign clauses.
+% As a result the module imports may appear to be unused.
+%
  %-----------------------------------------------------------------------------%

  :- module check_hlds.unused_imports.

--------------------------------------------------------------------------
mercury-reviews mailing list
Post messages to:       mercury-reviews at csse.unimelb.edu.au
Administrative Queries: owner-mercury-reviews at csse.unimelb.edu.au
Subscriptions:          mercury-reviews-request at csse.unimelb.edu.au
--------------------------------------------------------------------------