From be0e2017b46e981060b1f9f5fd764571ad2dc2a1 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Roman=20Smr=C5=BE?= Date: Wed, 14 May 2025 18:51:26 +0200 Subject: Make shell process name optional --- src/Test.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/Test.hs') diff --git a/src/Test.hs b/src/Test.hs index b8c5049..198b7e6 100644 --- a/src/Test.hs +++ b/src/Test.hs @@ -34,7 +34,7 @@ data TestStep a where Subnet :: TypedVarName Network -> Network -> (Network -> TestBlock a) -> TestStep a DeclNode :: TypedVarName Node -> Network -> (Node -> TestBlock a) -> TestStep a Spawn :: TypedVarName Process -> Either Network Node -> (Process -> TestBlock a) -> TestStep a - SpawnShell :: TypedVarName Process -> Node -> ShellScript -> (Process -> TestBlock a) -> TestStep a + SpawnShell :: Maybe (TypedVarName Process) -> Node -> ShellScript -> (Process -> TestBlock a) -> TestStep a Send :: Process -> Text -> TestStep () Expect :: SourceLine -> Process -> Traced Regex -> [ TypedVarName Text ] -> ([ Text ] -> TestBlock a) -> TestStep a Flush :: Process -> Maybe Regex -> TestStep () -- cgit v1.2.3