This is the mail archive of the
kawa@sources.redhat.com
mailing list for the Kawa project.
Re: instance?
> > (date:class) ; <java.util.Date> equivalent
>
> This should perhaps be (date:type) or date:type (a variable).
> <java.util.Date> evaluates to gnu.bytecode.ClassType instance,
> not a java.lang.Class instance.
[second try]
(date:type) was my first instinct as well. (date:class) has a nice
feature that "class" is a reserved word in Java so it is unlikely to be
a method name. There might be a method named "type" that we would be
masking.
Regards,
Chris Dean