Re: Is invokedynamic dynamic enough?

2008-12-18 Thread Charles Oliver Nutter
Iulian Dragos wrote: > If the static types of both the method handle, and the call site have > to be equal, method handles are only usable in cases when even the > compiler has enough knowledge to generate a direct 'invoke', on the > receiver type (ok, a method handle does not care about the method

Is invokedynamic dynamic enough?

2008-12-18 Thread Iulian Dragos
Now that I got your attention, prepare for an email about how Scala can't use invoke dynamic. First let me introduce some background. Scala has structural subtyping for refinement types. Simply put, one can define a type that has a set of methods, which is a supertype of all types that contain all

Re: On invoke dynamic and method handles

2008-12-18 Thread John Rose
On Dec 17, 2008, at 2:16 PM, Iulian Dragos wrote: > This is where we're heading. But the current implementation is using > the JSR292 convention, so for my tests I should still use it? For now, yes. I won't turn it off right away. > I noticed a very useful method mentioned in the JSR is missing

Re: java/dyn/Dynamic

2008-12-18 Thread John Rose
On Dec 18, 2008, at 1:20 AM, Rémi Forax wrote: Is the way to call a 'dynamic' method is a part of JSR292 spec or not ? For now, I've put Dynamic into the JSR 292 javadoc with weasel words about "language compilers" and suggested syntax There is a separate project, sponsored by the JDK com

java/dyn/Dynamic

2008-12-18 Thread Rémi Forax
So java.dyn.Dynamic is now not used directly in the bytecode. But it is used in the patched javac. Is the way to call a 'dynamic' method is a part of JSR292 spec or not ? Rémi ___ mlvm-dev mailing list [email protected] http://mail.openjdk.jav

Re: On invoke dynamic and method handles

2008-12-18 Thread Rémi Forax
John Rose a écrit : > On Dec 18, 2008, at 1:06 AM, Rémi Forax wrote: > > >> Iulian Dragos a écrit : >> ... >> >>> One last question: does mlvm currently recognize the >>> BootstrapInvokeDynamic classfile attribute? >>> >> It's another part of the spec that is outdated. >> I don't kno

Re: On invoke dynamic and method handles

2008-12-18 Thread John Rose
On Dec 18, 2008, at 1:06 AM, Rémi Forax wrote: > Iulian Dragos a écrit : > ... >> One last question: does mlvm currently recognize the >> BootstrapInvokeDynamic classfile attribute? > It's another part of the spec that is outdated. > I don't know exactly why. > Perhaps john or charles can explain

Re: On invoke dynamic and method handles

2008-12-18 Thread Rémi Forax
Iulian Dragos a écrit : ... > One last question: does mlvm currently recognize the > BootstrapInvokeDynamic classfile attribute? It's another part of the spec that is outdated. I don't know exactly why. Perhaps john or charles can explain why ? > My tests were > unsuccessful, so I'm wondering if m