summaryrefslogtreecommitdiff
path: root/tests/examples/ex6.ys
diff options
context:
space:
mode:
Diffstat (limited to 'tests/examples/ex6.ys')
-rw-r--r--tests/examples/ex6.ys18
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))))
+