[m-rev.] (no subject)

[Julien Fischer]

On Wed, 7 Nov 2018, Zoltan Somogyi wrote:

> For review by anyone.


> Fix some holes in the reference manual.
> 
> doc/reference_manual.texi:
>     Document the fact that higher order values cannot be unified or compared.
>
>     Document the order of function symbols in du types, including the effect
>     of foreign_enum pragmas.

...

> diff --git a/doc/reference_manual.texi b/doc/reference_manual.texi
> index 4029e84..1751350 100644
> --- a/doc/reference_manual.texi
> +++ b/doc/reference_manual.texi
> @@ -2729,11 +2729,14 @@ update_field_in_map(Map, Index, Value) =
>  @node The standard ordering
>  @section The standard ordering
> 
> -For every Mercury type there exists a standard ordering;
> +For (almost) every Mercury type there exists a standard ordering;
>  any two values of the same type can be compared under this ordering
>  by using the @code{builtin.compare/3} predicate.
>  The ordering is total, meaning that the corresponding binary relations
>  are reflexive, transitive and anti-symmetric.
> +The one exception is higher order types,

For consistency with elsewhere, s/higher order/higher-order/

Otherwise both changes look fine.

Julien.