diff options
| author | Roman Smrž <roman.smrz@seznam.cz> | 2023-03-26 21:34:44 +0200 |
|---|---|---|
| committer | Roman Smrž <roman.smrz@seznam.cz> | 2023-03-28 22:10:06 +0200 |
| commit | c9a90244a7b4f9c752541c5ff19616f7ff980ee4 (patch) | |
| tree | efe53e9eab497f446538c9171c77dd3a66468f3f /src/Test.hs | |
| parent | a76fa89bf612f39a053390dfe1c78ba1f9331bd8 (diff) | |
Network subnets and routing
Diffstat (limited to 'src/Test.hs')
| -rw-r--r-- | src/Test.hs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/Test.hs b/src/Test.hs index 6077b92..0d96902 100644 --- a/src/Test.hs +++ b/src/Test.hs @@ -36,6 +36,7 @@ data Test = Test data TestStep = forall a. ExprType a => Let SourceLine (TypedVarName a) (Expr a) [TestStep] | 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] | Send (Expr Process) (Expr Text) |