From 9c3bfa972d666b5b8cd5eb7a978a264f27cf7292 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Roman=20Smr=C5=BE?= Date: Wed, 20 Nov 2024 20:02:43 +0100 Subject: Avoid embedded Expr in most of test step parameters --- src/Test.hs | 18 +++++++++--------- 1 file changed, 9 insertions(+), 9 deletions(-) (limited to 'src/Test.hs') 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 -- cgit v1.2.3