type = lam.getBody().normalize(NormalizeVisitor.Mode.WHNF);
exprs = exprs.subList(1, exprs.size());
}
}
for (Expression expr : exprs) {
<BUG>if (!checkNonPositiveError(expr, dataDefinition, name, list.getFirst(), link, arguments, def, visitor.getErrorReporter())) {
</BUG>
return constructor;
}
}

type = lam.getBody().normalize(NormalizeVisitor.Mode.WHNF);
exprs = exprs.subList(1, exprs.size());
}
}
for (Expression expr : exprs) {
if (!checkNonPositiveError(expr, name, list.getFirst(), link, arguments, def, visitor.getErrorReporter(), dataDefinitions)) {
return constructor;
}
}
