like classes, type constraints are 'typexpr = typexpr'

2020-05-15 15:48:57 +02:00 · 2020-05-15 15:48:57 +02:00 · a2a287c823
parent 914dd057b5
commit a2a287c823
1 changed files with 1 additions and 1 deletions
--- a/manual/manual/refman/typedecl.etex
+++ b/manual/manual/refman/typedecl.etex
@ -55,7 +55,7 @@ field-decl:
          ['mutable'] field-name ':' poly-typexpr
 ;
 type-constraint:
-    'constraint' "'" ident '=' typexpr
+    'constraint' typexpr '=' typexpr
 \end{syntax}
 \ikwd{mutable\@\texttt{mutable}}
 \ikwd{constraint\@\texttt{constraint}}