Possible Typo in Section 15.27.3

[Alex Buckley]

On 9/2/2016 2:33 PM, Hiram Hunt wrote:
> In JLS Java SE 8 Edition, in section 15.27.3
> (Type of a Lambda Expression), the definition
> of "congruent" contains several bulleted items.
> One of these says
>
>     "The number of lambda parameters is the same
>      as the number of parameter types of the
>      function type."
>
> Maybe "parameter types" should be just "parameters"?

No, because a function type is defined in JLS8 9.9 to consist (among 
other things) of formal parameter types, not formal parameters.

(I admit there is a mention of "formal parameters" in 9.9, but it's 
already corrected to "formal parameter types" in the master files.)

Alex