[m-rev.] trivial diff: add comment in tests/general/Mercury.options

[Fergus Henderson]

Estimated hours taken: 0.05
Branches: main

tests/general/Mercury.options:
	Add a comment.

Workspace: /home/jupiter/fjh/ws-jupiter/mercury
Index: tests/general/Mercury.options
===================================================================
RCS file: /home/mercury1/repository/tests/general/Mercury.options,v
retrieving revision 1.1
diff -u -d -r1.1 Mercury.options
--- tests/general/Mercury.options	17 Aug 2002 13:52:06 -0000	1.1
+++ tests/general/Mercury.options	12 Jan 2004 07:08:16 -0000
@@ -3,6 +3,9 @@
 MCFLAGS-mode_inf = --infer-all
 MCFLAGS-mode_inf_bug = --infer-all
 MCFLAGS-mode_inference_reorder = --infer-all
+
+# The intermod_type test is a regression test for a bug that occurred only
+# when intermodule optimization was enabled.
 MCFLAGS-intermod_type = --intermodule-optimization
 MCFLAGS-intermod_type2 = --intermodule-optimization
 
-- 
Fergus Henderson                    |  "I have always known that the pursuit
                                    |  of excellence is a lethal habit"
WWW: <http://www.cs.mu.oz.au/~fjh>  |     -- the last words of T. S. Garp.
--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------