/
a.hs
40 lines (40 loc) · 1.21 KB
/
a.hs
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
38
39
40
case w of {
Nil -> Fail;
Cons y22 w8 ->
case y22 of {
A ->
case w8 of {
Nil -> (Parsed Nil);
Cons z1 t17 ->
case z1 of {
A -> Fail;
B ->
case t17 of {
Nil -> Fail;
Cons r7 x22 ->
case r7 of {
A ->
(letrec
f=(\u35->
case u35 of {
Nil -> (Parsed Nil);
Cons v33 t15 ->
case v33 of {
A -> Fail;
B ->
case t15 of {
Nil -> Fail;
Cons t31 s17 -> case t31 of { A -> (f s17); B -> Fail; };
};
};
})
in
(f x22));
B -> Fail;
};
};
};
};
B -> Fail;
};
}