[m-dev.] diff: fix documentation of `pragma loop_check'
Fergus Henderson
fjh at cs.mu.OZ.AU
Fri Oct 29 17:24:21 AEST 1999
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
--------------------------------------------------------------------------
More information about the developers
mailing list