TypeCheckerErrors.report(3098, "Function value is not polymorphic", node.getLocation(), node);
set.add(AstFactory.newAUnknownType(node.getLocation()));
} else
} else
TypeCheckerErrors.report(3099, "Polymorphic function is not in scope", node.getLocation(), node);
continue;
TypeCheckerErrors.concern(serious, 3100, "Function has no type parameters", node.getLocation(), node);
continue;
+ " type parameters", node.getLocation(), node);
continue;
+ " not defined", node.getLocation(), node);
ptype = AstFactory.newAUnknownType(node.getLocation());
} else
node.setType(set.getType(node.getLocation()));
return node.getType();
TypeCheckerErrors.report(3103, "Function instantiation does not yield a function", node.getLocation(), node);
node.setType(AstFactory.newAUnknownType(node.getLocation()));
return node.getType();