On 2011-05-27 12.59, John Rose wrote:
> On May 27, 2011, at 12:26 AM, Ola Bini wrote:
>
>> type() is just a call site type, so that will be the
>> SephObject,SThread etc.
>
>
> Good. So what's the code that creates the target (not the fallback)?
> It looks like it has its types denatured to Object. -- John
Actually, I was lying before - the code I inserted was not what crashes.
This is the code that crashes:
MethodHandle _test = dropArguments(
findVirtual(SephObject.class, "isActivatable",
methodType(boolean.class)), 1, type().parameterArray());
MethodHandle _then = filterArguments(
invoker(type()),
0,
insertArguments(
findVirtual(SephObject.class, "activationFor",
methodType(MethodHandle.class,
int.class,
boolean.class)),
1,
arity(),
keywords()));
MethodHandle _else = dropArguments(
identity(SephObject.class),
1,
type().parameterArray());
MethodHandle all = guardWithTest(_test, _then, _else);
And as you say, the _then part has an invoker as the main part. type()
there is still the CallSite.type() with specific classes.
Cheers
--
Ola Bini (http://olabini.com)
Ioke - JRuby - ThoughtWorks
"Yields falsehood when quined" yields falsehood when quined.
_______________________________________________
mlvm-dev mailing list
mlvm-dev@openjdk.java.net
http://mail.openjdk.java.net/mailman/listinfo/mlvm-dev
