[m-rev.] trivial diff: fix bugs #205 and #206

[Julien Fischer]

Branches: main, 11.07

Fix some documentation bugs (#205 and #206 in Mantis).

doc/user_guide.texi:
 	Fix an incorrect option for mtc.

library/array.m:
 	Replace the description of foldr2 which refers to
 	a predicate that doesn't exist.

Julien.

Index: doc/user_guide.texi
===================================================================
RCS file: /home/mercury/mercury1/repository/mercury/doc/user_guide.texi,v
retrieving revision 1.631
diff -u -r1.631 user_guide.texi
--- doc/user_guide.texi	16 Jul 2011 07:59:39 -0000	1.631
+++ doc/user_guide.texi	23 Jul 2011 07:33:51 -0000
@@ -5243,7 +5243,7 @@
  it will write the number of times each debugger event was executed
  to a trace count file.
  @sp 1
- at samp{mtc} accepts an @samp{-f} or @samp{--output-file} option.
+ at samp{mtc} accepts an @samp{-o} or @samp{--output-file} option.
  The argument to this option is the filename to use
  for the generated trace count file.
  If this option is not given,
Index: library/array.m
===================================================================
RCS file: /home/mercury/mercury1/repository/mercury/library/array.m,v
retrieving revision 1.190
diff -u -r1.190 array.m
--- library/array.m	27 Jun 2011 14:31:40 -0000	1.190
+++ library/array.m	23 Jul 2011 07:15:16 -0000
@@ -506,9 +506,7 @@
  :- mode array.foldr(pred(in, mdi, muo) is semidet, in, mdi, muo) is semidet.
  :- mode array.foldr(pred(in, di, uo) is semidet, in, di, uo) is semidet.

-    % array.foldr2(P, Array, !Acc1, !Acc2) is equivalent to
-    %   list.foldr2(P, array.to_list(Array), !Acc1, !Acc2)
-    % but more efficient.
+    % As above, but with two accumulators.
      %
  :- pred array.foldr2(pred(T1, T2, T2, T3, T3), array(T1), T2, T2, T3, T3).
  :- mode array.foldr2(pred(in, in, out, in, out) is det, in, in, out, in, out)


--------------------------------------------------------------------------
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
--------------------------------------------------------------------------