From e2005f02f95325f3718b99666e301851d0a71b6d Mon Sep 17 00:00:00 2001
From: octachron <octa@polychoron.fr>
Date: Thu, 14 Jan 2016 19:30:13 +0200
Subject: [PATCH] Manual: fix verbatim type errors

---
 manual/manual/refman/exten.etex | 14 +++++++-------
 1 file changed, 7 insertions(+), 7 deletions(-)

diff --git a/manual/manual/refman/exten.etex b/manual/manual/refman/exten.etex
index aaaa8f353..f7a82b785 100644
--- a/manual/manual/refman/exten.etex
+++ b/manual/manual/refman/exten.etex
@@ -447,9 +447,9 @@ For example, assuming the record type
 \end{verbatim}
 has been declared, the following expressions are equivalent:
 \begin{verbatim}
-          let x = 1 and y = 2 in { x = x; y = y }
-          let x = 1 and y = 2 in { x; y }
-          let x = 1 and y = 2 in { x = x; y }
+          let x = 1. and y = 2. in { x = x; y = y },
+          let x = 1. and y = 2. in { x; y },
+          let x = 1. and y = 2. in { x = x; y }
 \end{verbatim}
 On the object side, all following methods are equivalent:
 \begin{verbatim}
@@ -462,8 +462,8 @@ On the object side, all following methods are equivalent:
 \end{verbatim}
 Likewise, the following functions are equivalent:
 \begin{verbatim}
-          fun {x = x; y = y} -> x + y
-          fun {x; y} -> x + y
+          fun {x = x; y = y} -> x +. y
+          fun {x; y} -> x +. y
 \end{verbatim}
 
 Optionally, a record pattern can be terminated by @';' '_'@ to convey the
@@ -474,11 +474,11 @@ the compiler will warn when a record pattern fails to list all fields of
 the corresponding record type and is not terminated by @';' '_'@.
 Continuing the "point" example above,
 \begin{verbatim}
-          fun {x} -> x + 1
+          fun {x} -> x +. 1.
 \end{verbatim}
 \noindent will warn if warning 9 is on, while
 \begin{verbatim}
-          fun {x; _} -> x + 1
+          fun {x; _} -> x +. 1.
 \end{verbatim}
 \noindent will not warn.  This warning can help spot program points where
 record patterns may need to be modified after new fields are added to a