1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
|
% test15.1.ott is_v test
% mutually recursive upper types
% ISA SUCCEEDS but it warns
%
% ### No function definition for datatype "out.b"
% ### No function definition for datatype "out.a"
%
% which I don't understand
grammar
a :: 'a_' ::=
| AA :: :: AA
| A a :: :: a
| B b :: :: b
b :: 'b_' ::=
| BB :: :: BB
| A a :: :: a
| B b :: :: b
av :: 'av_' ::=
| A a :: :: a
| B b :: :: b
bv :: 'bv_' ::=
| A a :: :: a
| B b :: :: b
subrules
av <:: a
bv <:: b
|
