document GPR#234: Allow ``[]`` as a user-defined constructor

2016-02-08 18:23:04 +01:00 · 2016-02-08 18:23:04 +01:00 · 7715890db2
parent e92e57d456
commit 7715890db2
1 changed files with 1 additions and 1 deletions
--- a/manual/manual/refman/typedecl.etex
+++ b/manual/manual/refman/typedecl.etex
@ -44,7 +44,7 @@ record-decl:
         '{' field-decl { ';' field-decl } [';'] '}'
 ;
 constr-decl:
-          (constr-name || '()') [ 'of' constr-args ]
+          (constr-name || '[]' || '(::)') [ 'of' constr-args ]
 ;
 constr-args:
          typexpr { '*' typexpr }