1 ! Program to test the incremental assignment of enumerators
7 enumerator
:: red
= 4 , yellow
, blue
12 enumerator
:: sun
= -10 , mon
, tue
13 enumerator
:: wed
= 10, sat
18 if (yellow
/= (red
+ 1)) STOP 2
19 if (blue
/= (yellow
+ 1)) STOP 3
20 if (green
/= (blue
+ 1)) STOP 4
23 if (sun
/= -10 ) STOP 5
24 if (mon
/= (sun
+ 1)) STOP 6
25 if (tue
/= (mon
+ 1)) STOP 7
27 if (sat
/= (wed
+1)) STOP 9