summaryrefslogtreecommitdiff
path: root/src/Test.hs
diff options
context:
space:
mode:
authorRoman Smrž <roman.smrz@seznam.cz>2022-10-07 11:09:44 +0200
committerRoman Smrž <roman.smrz@seznam.cz>2022-10-07 18:27:32 +0200
commit2143eb381fc28e2d676a9c9a433426b1b2dbf737 (patch)
tree4842e6c9a23d64b98a06c758d85fe9db94d40dad /src/Test.hs
parent4161f5776e5e7a01fb9eb62351c0f648bb918076 (diff)
Process variables and expression type
Diffstat (limited to 'src/Test.hs')
-rw-r--r--src/Test.hs8
1 files changed, 4 insertions, 4 deletions
diff --git a/src/Test.hs b/src/Test.hs
index 659107f..9175589 100644
--- a/src/Test.hs
+++ b/src/Test.hs
@@ -24,7 +24,7 @@ import Text.Regex.TDFA
import Text.Regex.TDFA.Text
import {-# SOURCE #-} Network
-import Process
+import {-# SOURCE #-} Process
import Util
data Test = Test
@@ -33,9 +33,9 @@ data Test = Test
}
data TestStep = forall a. ExprType a => Let SourceLine VarName (Expr a) [TestStep]
- | Spawn ProcName (Either (TypedVarName Node) (Expr Node)) [TestStep]
- | Send ProcName (Expr Text)
- | Expect SourceLine ProcName (Expr Regex) [TypedVarName Text] [TestStep]
+ | Spawn (TypedVarName Process) (Either (TypedVarName Node) (Expr Node)) [TestStep]
+ | Send (Expr Process) (Expr Text)
+ | Expect SourceLine (Expr Process) (Expr Regex) [TypedVarName Text] [TestStep]
| Guard SourceLine (Expr Bool)
| Wait