@Override public PType caseAMkTypeExp(AMkTypeExp node,
TypeCheckInfo question) throws AnalysisException
PDefinition typeDef = question.env.findType(node.getTypeName(), node.getLocation().getModule());
+ "' in constructor", node.getLocation(), node);
node.setType(AstFactory.newAUnknownType(node.getLocation()));
return node.getType();
+ "' is not a record type", node.getLocation(), node);
node.setType(rec);
return rec;
+ "' is not a record type", node.getLocation(), node);
node.setType(rec);
return rec;
TypeCheckerErrors.report(3128, "Record and constructor do not have same number of fields", node.getLocation(), node);
node.setType(rec);
return rec;
+ " is of wrong type", node.getLocation(), node);
TypeCheckerErrors.detail2("Expected", fieldType, "Actual", argType);
return question.assistantFactory.createPTypeAssistant().checkConstraint(question.constraint, node.getRecordType(), node.getLocation());