Skip to content

Re-enable deferred writeStderr/writeStdout common-suite tests after 0.17.2 publishes #602

Description

@joshsh

#526 added readStdin/writeStdout/writeStderr to hydra.lib.system. Two common-suite effectful test cases (writeStderr/writeStdout happy-path) were temporarily gated at land time — not for any test-design reason, but because the hydra-json-driver cold-clone CI build compiles the local test sources against the published hydra-kernel==0.17.1, which predates these primitives (the F2 published-host seam). Referencing DefSystem.writeStderr there breaks the cold-seed build until the published kernel actually has them.

Action, once hostVersion advances to 0.17.2 (published): re-add the two gated cases in Hydra/Sources/Test/Lib/System.hs (systemWriteStderr/systemWriteStdout, removed by #526's gating commit) + regenerate. This restores full common-suite coverage for the two write-stream primitives.

Note: readStdin is permanently untested here (no deterministic cross-host stdin, same rationale as exit) — that is NOT this issue; it's out of scope.

Related: #601 (structural decouple of Test.All) is the permanent fix so new-primitive-vs-published-kernel never recurs; this issue is the narrow, immediate re-add. Relates to #526.

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions