[m-dev.] diff: fix documentation of `pragma loop_check'

[Fergus Henderson]

On 29-Oct-1999, Fergus Henderson <fjh at cs.mu.OZ.AU> wrote:
> Estimated hours taken: 0.25
> 
> doc/reference_manual.texi:
> 	Change the documentation of `pragma loop_check' to say
> 	that it throws an exception rather than reporting a
> 	runtime error.

Actually it said that in a couple of places -- my first attempt
missed one of them.  Hence the following additional change.

----------

Estimated hours taken: 0.1

doc/reference_manual.texi:
	Change the documentation of `pragma loop_check' to say
	that it throws an exception rather than reporting a
	runtime error.
	This change corrects another place which I missed in
	my last change.

Workspace: /home/mercury0/fjh/mercury
Index: doc/reference_manual.texi
===================================================================
RCS file: /home/mercury1/repository/mercury/doc/reference_manual.texi,v
retrieving revision 1.156
diff -u -d -r1.156 reference_manual.texi
--- reference_manual.texi	1999/10/29 06:01:56	1.156
+++ reference_manual.texi	1999/10/29 07:08:48
@@ -5365,8 +5365,8 @@
 The implementation can optionally also check at runtime for the situation
 where a procedure calls itself recursively with the same arguments,
 which would normally result in a infinite loop; if this situation is
-encountered, it can (at the programmer's option) either report a
-run-time error, or avoid the infinite loop by computing solutions
+encountered, it can (at the programmer's option) either throw an
+exception, or avoid the infinite loop by computing solutions
 using the ``minimal model'' semantics.
 
 The current Mercury implementation thus supports three different

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh>  |  of excellence is a lethal habit"
PGP: finger fjh at 128.250.37.3        |     -- the last words of T. S. Garp.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------