diff options
author | Roman Smrž <roman.smrz@seznam.cz> | 2023-02-20 19:50:36 +0100 |
---|---|---|
committer | Roman Smrž <roman.smrz@seznam.cz> | 2023-02-20 19:50:36 +0100 |
commit | 82e4bdcaaefa88913a0dacf3496747251909219f (patch) | |
tree | b649928867f520681491b3488a17a8f52f681550 /src/Test.hs | |
parent | f8c6706d5eefb8e4ebcdee7c963e8fe22fd9efab (diff) |
For statement
Diffstat (limited to 'src/Test.hs')
-rw-r--r-- | src/Test.hs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/Test.hs b/src/Test.hs index 88be0dc..6460daf 100644 --- a/src/Test.hs +++ b/src/Test.hs @@ -33,7 +33,8 @@ data Test = Test , testSteps :: [TestStep] } -data TestStep = forall a. ExprType a => Let SourceLine VarName (Expr a) [TestStep] +data TestStep = forall a. ExprType a => Let SourceLine (TypedVarName a) (Expr a) [TestStep] + | forall a. ExprType a => For SourceLine (TypedVarName a) (Expr [a]) [TestStep] | DeclNode (TypedVarName Node) (Expr Network) [TestStep] | Spawn (TypedVarName Process) (Either (TypedVarName Node) (Either (Expr Network) (Expr Node))) [TestStep] | Send (Expr Process) (Expr Text) |