[m-rev.] trivial diff: update reference to software_error
Julien Fischer
juliensf at csse.unimelb.edu.au
Fri Aug 10 16:52:44 AEST 2007
Estimated hours taken: 0
Branches: main
doc/reference_manual.texi:
Update a reference to the type software_error/0.
It is currently defined in the exception module, not require.
Julien.
Index: reference_manual.texi
===================================================================
RCS file: /home/mercury/mercury1/repository/mercury/doc/reference_manual.texi,v
retrieving revision 1.402
diff -u -r1.402 reference_manual.texi
--- reference_manual.texi 10 Aug 2007 06:27:58 -0000 1.402
+++ reference_manual.texi 10 Aug 2007 06:50:24 -0000
@@ -3862,7 +3862,7 @@
If a unification predicate is supplied without a comparison predicate,
the compiler will generate a comparison predicate which throws an
-exception of type @samp{require.software_error} when called.
+exception of type @samp{exception.software_error} when called.
A type declaration for a type @samp{foo(T1, @dots{}, TN)} may contain a
@samp{where equality is @var{equalitypred}} specification only if it
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------
More information about the reviews
mailing list