summaryrefslogtreecommitdiff
path: root/tests/examples/ex6.ys
blob: 0bd00f368d01f9f7ba7fd321768a4b9d25f96aea (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18

(define-type pc (scalar sleeping trying critical))
(define f::(-> pc pc))
(define g::(-> pc pc))
(define x1::pc)
(define x2::pc)
(define x3::pc)
(define x4::pc)
(define x5::pc)
(define x6::pc)



(assert (= x1 x3))
(assert (= x1 x4))
(assert (= x3 x2))
(assert (/= (g (f x1)) (g (f x2))))