summaryrefslogtreecommitdiff
path: root/tests/source/counters.scade
diff options
context:
space:
mode:
Diffstat (limited to 'tests/source/counters.scade')
-rwxr-xr-xtests/source/counters.scade11
1 files changed, 11 insertions, 0 deletions
diff --git a/tests/source/counters.scade b/tests/source/counters.scade
index 3266ec9..334bca1 100755
--- a/tests/source/counters.scade
+++ b/tests/source/counters.scade
@@ -1,4 +1,15 @@
+/*
+ x = 10 | 9 | 8 | 7 | 6 | 5 | ... | 0 | 1 | 2 | ... | 10 | ...
+ y = 0 | 1 | 2 | 3 | 4 | 5 | ... | 10 | 9 | 8 | ... | 0 | ...
+ b1 = t | f | f | f | f | f | ... | f | f | f | ... | t | ...
+ b2 = t | f | f | f | f | f | ... | f | f | f | ... | t | ...
+
+ eq* = t | t | t | t | t | t | ... | t | t | t | ... | t | ...
+*/
+
+
+-- type t2 = subrange [0,10] of int;
const bound: int = 1000;