</BUG>
if (definition instanceof FunctionDefinition) {
typeCheckFunctionBody((FunctionDefinition) definition, exprVisitor);
} else
if (definition instanceof DataDefinition) {
<BUG>if (!typeCheckDataBody((DataDefinition) definition, exprVisitor, false)) {
</BUG>
definition.setStatus(Definition.TypeCheckingStatus.HEADER_HAS_ERRORS);
}
} else {

return dataDef;
} else {
throw new IllegalStateException();
}
}
public static void typeCheckBody(Definition definition, CheckTypeVisitor exprVisitor, Set<DataDefinition> dataDefinitions) {
if (definition instanceof FunctionDefinition) {
typeCheckFunctionBody((FunctionDefinition) definition, exprVisitor);
} else
if (definition instanceof DataDefinition) {
if (!typeCheckDataBody((DataDefinition) definition, exprVisitor, false, dataDefinitions)) {
definition.setStatus(Definition.TypeCheckingStatus.HEADER_HAS_ERRORS);
}
} else {
