Handle errors during proto transformation in the type-checker

checker/checker.go

@@ -40,11 +40,13 @@ type checker struct {
 }
 
 // Check performs type checking, giving a typed AST.
-// The input is a ParsedExpr proto and an env which encapsulates
-// type binding of variables, declarations of built-in functions,
-// descriptions of protocol buffers, and a registry for errors.
-// Returns a CheckedExpr proto, which might not be usable if
-// there are errors in the error registry.
+//
+// The input is a ParsedExpr proto and an env which encapsulates type binding of variables,
+// declarations of built-in functions, descriptions of protocol buffers, and a registry for
+// errors.
+//
+// Returns a type-checked AST, which might not be usable if there are errors in the error
+// registry.
 func Check(parsedExpr *exprpb.ParsedExpr, source common.Source, env *Env) (*ast.AST, *common.Errors) {
 	errs := common.NewErrors(source)
 	c := checker{
@@ -66,11 +68,11 @@ func Check(parsedExpr *exprpb.ParsedExpr, source common.Source, env *Env) (*ast.
 	}
 	e, err := ast.ProtoToExpr(parsedExpr.GetExpr())
 	if err != nil {
-
+		errs.ReportError(common.NoLocation, err.Error())
 	}
 	info, err := ast.ProtoToSourceInfo(parsedExpr.GetSourceInfo())
 	if err != nil {
-
+		errs.ReportError(common.NoLocation, err.Error())
 	}
 	return ast.NewCheckedAST(ast.NewAST(e, info), m, c.references), errs
 }