constructor.setStatus(Definition.TypeCheckingStatus.NO_ERRORS);
dataDefinition.addConstructor(constructor);
return constructor;
}
}
<BUG>private static boolean checkNonPositiveError(Expression expr, DataDefinition dataDefinition, String name, DependentLink params, DependentLink param, List<? extends Abstract.Argument> args, Abstract.Constructor constructor, LocalErrorReporter errorReporter) {

if (!expr.findBinding(dataDefinition)) {

return true;</BUG>
}

constructor.setStatus(Definition.TypeCheckingStatus.NO_ERRORS);
dataDefinition.addConstructor(constructor);
return constructor;
}
}
private static boolean checkNonPositiveError(Expression expr, String name, DependentLink params, DependentLink param, List<? extends Abstract.Argument> args, Abstract.Constructor constructor, LocalErrorReporter errorReporter, Set<DataDefinition> dataDefinitions) {
Referable def = expr.findBinding(dataDefinitions);
if (def == null) {
return true;
}
