Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP
Browse files

Allow ProcNames to be compared for equality in values.

  • Loading branch information...
commit 910ea4f52b988924392ef347eeb33d5096dcae96 1 parent 79ebe91
@tomgr authored
View
1  src/CSPM/Evaluator/Values.hs
@@ -86,6 +86,7 @@ instance Eq Value where
VDataType n1 == VDataType n2 = n1 == n2
VList vs1 == VList vs2 = vs1 == vs2
VSet s1 == VSet s2 = s1 == s2
+ VProc (PProcCall n _) == VProc (PProcCall n' _) = n == n'
v1 == v2 = False
View
7 tests/evaluator/should_pass/process-names-procTest1-expected.txt
@@ -0,0 +1,7 @@
+P = c ->
+
+Wrapper(P) = c -> P
+
+procTest1 = Wrapper(P) ||| Wrapper(P)
+
+procTest1
View
7 tests/evaluator/should_pass/process-names.csp
@@ -0,0 +1,7 @@
+channel c
+
+P = c -> STOP
+
+Wrapper(P) = c -> P
+
+procTest1 = Wrapper(P) ||| Wrapper(P)
Please sign in to comment.
Something went wrong with that request. Please try again.