Type[] types = new Type[args.size()];
for (int i = 0; i < args.size(); i++) {
Result<IValue> resultElem = args.get(i).interpret(eval);
types[i] = resultElem.getType();
if (types[i].isBottom()) {
throw new UninitializedPatternMatch("The argument is of the type 'void'", args.get(i));
}
actuals[i] = resultElem.getValue();
}
java.util.Map<String,IValue> kwActuals = Collections.<String,IValue>emptyMap();