[m-rev.] for review: add a note about the behaviour of foreign_import_module

[Julien Fischer]

For review by anyone.

Estimated hours taken: 0.2
Branches: main

Add a note about the behaviour of the Mercury implementation with
respect to foreign_import_module pragmas.

doc/reference_manual.texi:
 	Mention that the Melbourne Mercury implementation sometimes
 	implicitly creates foreign_import_module pragmas.

Julien.

Index: reference_manual.texi
===================================================================
RCS file: /home/mercury/mercury1/repository/mercury/doc/reference_manual.texi,v
retrieving revision 1.401
diff -u -r1.401 reference_manual.texi
--- reference_manual.texi	25 Jul 2007 06:12:28 -0000	1.401
+++ reference_manual.texi	10 Aug 2007 05:27:29 -0000
@@ -7079,6 +7079,12 @@
  A cycle of @samp{pragma foreign_import_module}, where the language is
  @samp{"C#"} or @samp{"Java"}, is not permitted.

+Note that the Melbourne Mercury implementation may sometimes implicitly insert
+ at samp{pragma foreign_import_module} declarations but programmers should
+ at emph{not} write code that depends upon this behaviour;
+ at samp{pragma foreign_import_module} declarations should always explicitly
+included if needed.
+
  @node Adding foreign definitions
  @section Adding foreign definitions


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