)
sorted_results = sorted(
itertools.chain.from_iterable(results), key=lambda res: res.typechecker_name
)
if not sorted_results:
return Typecheck(exit_code=0)
exit_code = 0
for result in sorted_results:
console.print_stderr(
f"{console.green("✓")} {result.typechecker_name} succeeded."
if result.exit_code == 0
else f"{console.red("𐄂")} {result.typechecker_name} failed."
)
if result.stdout:
console.print_stderr(result.stdout)
if result.stderr:
console.print_stderr(result.stderr)
if result != sorted_results[-1]:
console.print_stderr("")