diff options
| author | Roman Smrž <roman.smrz@seznam.cz> | 2024-11-27 20:44:00 +0100 |
|---|---|---|
| committer | Roman Smrž <roman.smrz@seznam.cz> | 2024-11-28 22:34:10 +0100 |
| commit | d22257b9f43ba30dd3ca1274d1aa61e688585785 (patch) | |
| tree | 39407ee4fd3cfcd4fd1e7861c843ce9fc2c9ed92 /src/Test.hs | |
| parent | 9c3bfa972d666b5b8cd5eb7a978a264f27cf7292 (diff) | |
Remove embedded Expr for some inner TestBlock parameters
Diffstat (limited to 'src/Test.hs')
| -rw-r--r-- | src/Test.hs | 29 |
1 files changed, 15 insertions, 14 deletions
diff --git a/src/Test.hs b/src/Test.hs index 772ac28..da4c82d 100644 --- a/src/Test.hs +++ b/src/Test.hs @@ -58,20 +58,21 @@ data Test = Test newtype TestBlock = TestBlock [ TestStep ] deriving (Semigroup, Monoid) -data TestStep = forall a. ExprType a => Let SourceLine (TypedVarName a) (Expr a) (Expr TestBlock) - | forall a. ExprType a => For SourceLine (TypedVarName a) (Expr [ a ]) (Expr TestBlock) - | Subnet (TypedVarName Network) Network (Expr TestBlock) - | DeclNode (TypedVarName Node) Network (Expr TestBlock) - | Spawn (TypedVarName Process) (Either Network Node) (Expr TestBlock) - | Send Process Text - | Expect SourceLine Process (Expr Regex) [ TypedVarName Text ] (Expr TestBlock) - | Flush Process (Maybe Regex) - | Guard SourceLine EvalTrace Bool - | DisconnectNode Node (Expr TestBlock) - | DisconnectNodes Network (Expr TestBlock) - | DisconnectUpstream Network (Expr TestBlock) - | PacketLoss Scientific Node (Expr TestBlock) - | Wait +data TestStep + = forall a. ExprType a => Let SourceLine (TypedVarName a) (Expr a) (Expr TestBlock) + | forall a. ExprType a => For SourceLine (TypedVarName a) (Expr [ a ]) (Expr TestBlock) + | Subnet (TypedVarName Network) Network (Expr TestBlock) + | DeclNode (TypedVarName Node) Network (Expr TestBlock) + | Spawn (TypedVarName Process) (Either Network Node) (Expr TestBlock) + | Send Process Text + | Expect SourceLine Process (Expr Regex) [ TypedVarName Text ] (Expr TestBlock) + | Flush Process (Maybe Regex) + | Guard SourceLine EvalTrace Bool + | DisconnectNode Node TestBlock + | DisconnectNodes Network TestBlock + | DisconnectUpstream Network TestBlock + | PacketLoss Scientific Node TestBlock + | Wait newtype SourceLine = SourceLine Text |