[m-rev.] diff: fix cut-and-paste error in reference manual

Julien Fischer jfischer at opturion.com
Sun Jan 4 14:03:51 AEDT 2015


Fix a cut-and-paste error in the reference manual.

doc/reference_manual.texi:
 	The default higher-order function inst has determinism det.

Julien.

diff --git a/doc/reference_manual.texi b/doc/reference_manual.texi
index 5a37a81..76ac6a8 100644
--- a/doc/reference_manual.texi
+++ b/doc/reference_manual.texi
@@ -4400,7 +4400,7 @@ To partially alleviate this problem, and to make higher-order functional
  programming easier, if the term to be called has a function
  type, but no higher-order inst information, we assume that it has the default
  higher-order function inst
- at samp{func(in, @dots{}, in) = out is @var{Determinism}}.
+ at samp{func(in, @dots{}, in) = out is det}.

  As a consequence of this, it is a mode error to pass a higher-order function
  term that does not match this standard mode to somewhere where its higher-order



More information about the reviews mailing list