diff options
| author | Roman Smrž <roman.smrz@seznam.cz> | 2023-05-06 18:44:45 +0200 |
|---|---|---|
| committer | Roman Smrž <roman.smrz@seznam.cz> | 2023-05-06 18:44:45 +0200 |
| commit | c07f047bc90b6052b7d61de8efcbd7cb9d763e46 (patch) | |
| tree | 23875305e5f0bacdf1d61e4f717a007321f51286 /src/Test.hs | |
| parent | c4836c2078d32eee18824c2fed5069bd841256eb (diff) | |
Drop support for introducing node variable by 'spawn' command
Diffstat (limited to 'src/Test.hs')
| -rw-r--r-- | src/Test.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Test.hs b/src/Test.hs index af1bace..398fa03 100644 --- a/src/Test.hs +++ b/src/Test.hs @@ -38,7 +38,7 @@ data TestStep = forall a. ExprType a => Let SourceLine (TypedVarName a) (Expr a) | forall a. ExprType a => For SourceLine (TypedVarName a) (Expr [a]) [TestStep] | Subnet (TypedVarName Network) (Expr Network) [TestStep] | DeclNode (TypedVarName Node) (Expr Network) [TestStep] - | Spawn (TypedVarName Process) (Either (TypedVarName Node) (Either (Expr Network) (Expr Node))) [TestStep] + | Spawn (TypedVarName Process) (Either (Expr Network) (Expr Node)) [TestStep] | Send (Expr Process) (Expr Text) | Expect SourceLine (Expr Process) (Expr Regex) [TypedVarName Text] [TestStep] | Guard SourceLine (Expr Bool) |