+ " actual: " + args.positional.size());
}
for (int i = 0; i < args.positional.size(); i++) {
Value value = args.positional.get(i).typecheck(s);
Value expected = funScope.lookup(params.get(i).id);
if (!Type.subtype(value, expected, false)) {
Util.abort(args.positional.get(i), "type error. expected: " + expected + ", actual: " + value);
}
funScope.putValue(params.get(i).id, value);
}