def test_streaming_output_success() -> None:
results = TypecheckResults([TypecheckResult(0, "stdout", "stderr")],
typechecker_name="typchecker")
assert results.level() == LogLevel.INFO
assert results.message() == dedent("""\
succeeded.
stdout
stderr
""")
def test_streaming_output_failure() -> None:
results = TypecheckResults([TypecheckResult(18, "stdout", "stderr")],
typechecker_name="typchecker")
assert results.level() == LogLevel.WARN
assert results.message() == dedent("""\
failed (exit code 18).
stdout
stderr
""")
def test_streaming_output_partitions() -> None:
results = TypecheckResults(
[
TypecheckResult(21, "", "", partition_description="ghc8.1"),
TypecheckResult(
0, "stdout", "stderr", partition_description="ghc9.2"),
],
typechecker_name="typchecker",
)
assert results.level() == LogLevel.WARN
assert results.message() == dedent("""\
failed (exit code 21).
Partition #1 - ghc8.1:
Partition #2 - ghc9.2:
stdout
stderr
""")
def test_streaming_output_skip() -> None:
results = TypecheckResults([], typechecker_name="typchecker")
assert results.level() == LogLevel.DEBUG
assert results.message() == "skipped."