diff options
Diffstat (limited to 'tests/examples/ex6.ys')
-rw-r--r-- | tests/examples/ex6.ys | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/tests/examples/ex6.ys b/tests/examples/ex6.ys new file mode 100644 index 0000000..0bd00f3 --- /dev/null +++ b/tests/examples/ex6.ys @@ -0,0 +1,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)))) + |