PR#6912: document type nonrec

git-svn-id: http://caml.inria.fr/svn/ocamldoc/trunk@16186 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02

1 files changed, 6 insertions, 1 deletions

diff --git a/manual/manual/refman/typedecl.etex b/manual/manual/refman/typedecl.etex
index a6273241d4..21099864e5 100644
--- a/manual/manual/refman/typedecl.etex
+++ b/manual/manual/refman/typedecl.etex
@@ -14,7 +14,7 @@ associated with the definition.
 
 \begin{syntax}
 type-definition:
-          'type' typedef { 'and' typedef }
+          'type' ['nonrec'] typedef { 'and' typedef }
 ;
 typedef:
           [type-params] typeconstr-name type-information
@@ -57,6 +57,11 @@ consist in one or several simple definitions, possibly mutually
 recursive, separated by the "and" keyword. Each simple definition
 defines one type constructor.
 
+In a set of definitions, references in the type equation,
+representation or constraint to one of the type constructor name being
+defined is considered as recursive, unless "type" is followed by
+"nonrec". The "nonrec" keyword was introduced in OCaml 4.02.2.
+
 A simple definition consists in a lowercase identifier, possibly
 preceded by one or several type parameters, and followed by an
 optional type equation, then an optional type representation, and then