spec for #4497

eclipse-archived · Apr 15, 2017 · ba8cc60 · ba8cc60
1 parent 80ee26f
commit ba8cc60
Showing 1 changed file with 8 additions and 1 deletion.
diff --git a/typechecker/en/modules/declarations.xml b/typechecker/en/modules/declarations.xml
@@ -651,12 +651,19 @@ TypeConstraints?
 
             <synopsis>ValueParameter: Annotations ValueParameterPrefix MemberName</synopsis>
 
-            <synopsis>ValueParameterPrefix: Type | "dynamic"</synopsis>
+            <synopsis>ValueParameterPrefix: Type | "value" | "dynamic"</synopsis>
 
             <para>A value parameter may be declared using the keyword <literal>dynamic</literal> 
             in place of the parameter type, indicating that it is a partially typed declaration.
             Such a parameter has no type.</para>
 
+            <para>In general, a value parameter must have an explicit type declaration, 
+            and may not be declared with the keyword <literal>value</literal>.</para>
+
+            <para>As a special exception, if a parameter of an anonymous function is declared 
+            with the keyword <literal>value</literal>, then the type of the parameter must be 
+            inferable, according to <xref linkend="parametertypeinference"/>.</para>
+
             <para>If a value parameter <literal>x</literal> has type <literal>X</literal>, 
             and a parameter list has type <literal>P</literal> with the principal instantiation 
             <literal>Sequential&lt;Y&gt;</literal>, then the type of a new parameter list