JDK7 language specification issue with MethodHandle

[Neal Gafter]

On Tue, Apr 5, 2011 at 1:24 AM, Rémi Forax <forax at univ-mlv.fr> wrote:

>
> On 04/05/2011 06:57 AM, Neal Gafter wrote:
> > The documentation for MethodHandle (see "Method Handle Compilation" in<
> >
> http://download.java.net/jdk7/docs/api/java/lang/invoke/MethodHandle.html
> >)
> > appears to contradict the requirements of the Java Language Specification
> by
> > describing compiler behavior that does not conform to the requirements of
> > the JLS.  I have not checked, but I would not be surprised if jdk7's
> javac
> > also fails to satisfy the specification in this area.  This is the kind
> of
> > backdoor language change that Java's corporate owner has consistently
> > considered a clear violation of Java trademark licensing requirements.
>
> I don't understand exactly what you mean.
> Coud you be a little more specific ?
>

I'm referring to requirements such as not boxing primitives, not building a
varargs array, and producing the "wrong" method signature in the invoke
instruction.  The binary compatibility section of the JLS specifies what
method signature to be generated in the invocation, and this documentation
specifies another.