trivial diff: clarification in doc/reference_manual.texi

Fergus Henderson fjh at
Sat Jan 30 15:10:04 AEDT 1999

Estimated hours taken: 0.1

	Clarify that module names in `include_module' declarations
	need not be fully-qualified.

Index: doc/reference_manual.texi
RCS file: /home/mercury1/repository/mercury/doc/reference_manual.texi,v
retrieving revision 1.116
diff -u -r1.116 reference_manual.texi
--- reference_manual.texi	1998/12/07 01:30:22	1.116
+++ reference_manual.texi	1999/01/30 03:27:33
@@ -2715,8 +2715,9 @@
 which matches that in the @samp{:- include_module} declaration
 in the parent, followed by the interface and (if necessary)
 implementation sections, and it may optionally end with a @samp{:- end_module}
-declaration.  (Note: the module names in the @samp{:- module}
-and @samp{:- end_module} declaration need not be fully-qualified.)
+declaration.  (Note: the module names in the @samp{:- module},
+ at samp{:- end_module}, and @samp{:- include_module} declarations
+need not be fully-qualified.)
 If an @samp{:- include_module} declaration occurs in the interface
 section of a module, then only the declarations (interfaces) of the sub-modules

Fergus Henderson <fjh at>  |  "Binaries may die
WWW: <>  |   but source code lives forever"
PGP: finger fjh at        |     -- leaked Microsoft memo.

More information about the developers mailing list