Hi all, This commit adds some compile-time type checking to the instanceof and checkcast bytecodes. It doesn't actually do anything at the moment because of the way Shark handles state (see PR IcedTea/346) but hopefully I can change that soon. Cheers, Gary -- http://gbenson.net/