def test_streaming_output_failure() -> None:
results = EnrichedTypecheckResults(
[TypecheckResult(18, "stdout", "stderr")],
typechecker_name="typechecker")
assert results.level() == LogLevel.WARN
assert results.message() == dedent("""\
typechecker failed (exit code 18).
stdout
stderr
""")
def test_streaming_output_success() -> None:
results = EnrichedTypecheckResults(
[TypecheckResult(0, "stdout", "stderr")],
typechecker_name="typechecker")
assert results.level() == LogLevel.INFO
assert results.message() == dedent("""\
typechecker succeeded.
stdout
stderr
""")
def typecheck_results(self) -> EnrichedTypecheckResults:
addresses = [config.address for config in self.field_sets]
return EnrichedTypecheckResults(
[TypecheckResult(
self.exit_code(addresses),
"",
"",
)],
typechecker_name=self.typechecker_name,
)
def test_streaming_output_partitions() -> None:
results = EnrichedTypecheckResults(
[
TypecheckResult(21, "", "", partition_description="ghc8.1"),
TypecheckResult(
0, "stdout", "stderr", partition_description="ghc9.2"),
],
typechecker_name="typechecker",
)
assert results.level() == LogLevel.WARN
assert results.message() == dedent("""\
typechecker failed (exit code 21).
Partition #1 - ghc8.1:
Partition #2 - ghc9.2:
stdout
stderr
""")
def typecheck_results(self) -> EnrichedTypecheckResults:
return EnrichedTypecheckResults([],
typechecker_name="SkippedTypechecker")
def test_streaming_output_skip() -> None:
results = EnrichedTypecheckResults([], typechecker_name="typechecker")
assert results.level() == LogLevel.DEBUG
assert results.message() == "typechecker skipped."