diff options
author | Roman Smrž <roman.smrz@seznam.cz> | 2022-10-07 11:09:44 +0200 |
---|---|---|
committer | Roman Smrž <roman.smrz@seznam.cz> | 2022-10-07 18:27:32 +0200 |
commit | 2143eb381fc28e2d676a9c9a433426b1b2dbf737 (patch) | |
tree | 4842e6c9a23d64b98a06c758d85fe9db94d40dad /src/Test.hs | |
parent | 4161f5776e5e7a01fb9eb62351c0f648bb918076 (diff) |
Process variables and expression type
Diffstat (limited to 'src/Test.hs')
-rw-r--r-- | src/Test.hs | 8 |
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 |