On 7/1/07, clara <[EMAIL PROTECTED]> wrote:
Hi, all,
Are there any static type checking and type propagation in jitrino?
Clara, what do you mean by static type checking? I think JVM checks
types during class file verification. It is not necessarily part of
the JIT. On the other hand, any JIT IR should have typing info
associated with the operands (or operations). I guess you are not
talking about this? Maybe you are talking about type preserving
compilation?
If so, how can I use them?
Thanks.
Yu
--
http://xiao-feng.blogspot.com
