From 2143eb381fc28e2d676a9c9a433426b1b2dbf737 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Roman=20Smr=C5=BE?= Date: Fri, 7 Oct 2022 11:09:44 +0200 Subject: Process variables and expression type --- src/Test.hs | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) (limited to 'src/Test.hs') 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 -- cgit v1.2.3