body.check (context);
}
- var body_errors = new ArrayList<DataType> ();
- body.get_error_types (body_errors);
- foreach (DataType body_error_type in body_errors) {
- if (!((ErrorType) body_error_type).dynamic_error) {
- Report.warning (body_error_type.source_reference, "unhandled error `%s'".printf (body_error_type.to_string()));
+ if (body != null && !body.error) {
+ var body_errors = new ArrayList<DataType> ();
+ body.get_error_types (body_errors);
+ foreach (DataType body_error_type in body_errors) {
+ if (!((ErrorType) body_error_type).dynamic_error) {
+ Report.warning (body_error_type.source_reference, "unhandled error `%s'".printf (body_error_type.to_string()));
+ }
}
}
}
body.check (context);
+ }
+ if (body != null && !body.error) {
var error_types = new ArrayList<DataType> ();
body.get_error_types (error_types);
foreach (DataType body_error_type in error_types) {