Fix bitcode parser to check type signatures of functions.

tests_lit/parse_errs/fcn-bad-param-type.ll

Index: tests_lit/parse_errs/fcn-bad-param-type.ll
diff --git a/tests_lit/parse_errs/call-fcn-bad-param-type.ll b/tests_lit/parse_errs/fcn-bad-param-type.ll
similarity index 88%
copy from tests_lit/parse_errs/call-fcn-bad-param-type.ll
copy to tests_lit/parse_errs/fcn-bad-param-type.ll
index b7246e0b21c77f0ec7a295dc2542baf0be9b9032..a4faab2e8be2cc64bc9b7df1df7c5d8ba3c18b44 100644
--- a/tests_lit/parse_errs/call-fcn-bad-param-type.ll
+++ b/tests_lit/parse_errs/fcn-bad-param-type.ll
@@ -7,10 +7,10 @@
 ; RUN:      -allow-externally-defined-symbols | FileCheck %s
 
 declare void @f(i8);
+; CHECK: Invalid type signature for f: void (i8)
 
 define void @Test() {
 entry:
   call void @f(i8 1)
-; CHECK: Argument 1 of f has invalid type: i8
   ret void
 }