tree 088be876eae06547d35e331da3de21ca38bbd9d6
parent 259487a86ea29c840d586610f099e8177aab3f40
author jeffhao <jeffhao@google.com> 1343957348 -0700
committer jeffhao <jeffhao@google.com> 1344041426 -0700

Primitive type mismatches are now hard failures in the verifier.

Change-Id: Ib2e9e4acc5096d5ad42f579c936176a461e71cfd