diff options
Diffstat (limited to 'src/Test.hs')
| -rw-r--r-- | src/Test.hs | 18 |
1 files changed, 9 insertions, 9 deletions
diff --git a/src/Test.hs b/src/Test.hs index 28ea71c..772ac28 100644 --- a/src/Test.hs +++ b/src/Test.hs @@ -60,17 +60,17 @@ newtype TestBlock = TestBlock [ TestStep ] 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) (Expr Network) (Expr TestBlock) - | DeclNode (TypedVarName Node) (Expr Network) (Expr TestBlock) - | Spawn (TypedVarName Process) (Either (Expr Network) (Expr Node)) (Expr TestBlock) - | Send (Expr Process) (Expr Text) - | Expect SourceLine (Expr Process) (Expr Regex) [ TypedVarName Text ] (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 (Expr Node) (Expr TestBlock) - | DisconnectNodes (Expr Network) (Expr TestBlock) - | DisconnectUpstream (Expr Network) (Expr TestBlock) - | PacketLoss (Expr Scientific) (Expr Node) (Expr TestBlock) + | DisconnectNode Node (Expr TestBlock) + | DisconnectNodes Network (Expr TestBlock) + | DisconnectUpstream Network (Expr TestBlock) + | PacketLoss Scientific Node (Expr TestBlock) | Wait newtype SourceLine = SourceLine Text |