[m-rev.] diff: fix some errors in the reference manual
Julien Fischer
jfischer at opturion.com
Fri May 28 15:11:05 AEST 2021
Fix some errors in the reference manual.
The first of these was pointed out by Fabrice Nicol.
doc/reference_manual.texi:
Use the correct type in the descriptions of some existential type
examples.
Julien.
diff --git a/doc/reference_manual.texi b/doc/reference_manual.texi
index 951517f..7f59c05 100644
--- a/doc/reference_manual.texi
+++ b/doc/reference_manual.texi
@@ -6921,7 +6921,7 @@ but the caller is allowed to depend on those type variables
satisfying the declared type class constraints, if any.
For example, the function @samp{make_list} constructs
-a value of type @samp{list_of_showable}
+a value of type @samp{showable_list}
containing a sequence of values of different types,
all of which are instances of the @samp{showable} class
@@ -6946,7 +6946,7 @@ applies the @samp{show} method of the @samp{showable} class
to the values in such a list.
@example
-:- func process_list(list_of_showable) = list(string).
+:- func process_list(showable_list) = list(string).
process_list(nil) = "".
process_list(cons(Head, Tail)) = [show(Head) | process_list(Tail)].
@end example
More information about the reviews
mailing list