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
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
|
module 'seq_in_guard' ['seq_in_guard'/0,
't'/1]
attributes []
'seq_in_guard'/0 =
%% Line 4
fun () ->
case <> of
<> when 'true' ->
let <_cor0> =
catch
%% Line 5
apply 't'/1
({})
in %% Line 5
case _cor0 of
<{'EXIT',{'function_clause',_cor4}}> when 'true' ->
let <_cor2> =
catch
%% Line 6
apply 't'/1
('atom')
in %% Line 6
case _cor2 of
<{'EXIT',{'function_clause',_cor5}}> when 'true' ->
%% Line 7
apply 't'/1
({'a','b'})
( <_cor3> when 'true' ->
primop 'match_fail'
({'badmatch',_cor3})
-| ['compiler_generated'] )
end
( <_cor1> when 'true' ->
primop 'match_fail'
({'badmatch',_cor1})
-| ['compiler_generated'] )
end
( <> when 'true' ->
( primop 'match_fail'
({'function_clause'})
-| [{'function_name',{'seq_in_guard',0}}] )
-| ['compiler_generated'] )
end
't'/1 =
%% Line 9
fun (_cor0) ->
case _cor0 of
<X>
when try
do
call 'erlang':'element'
(2, X)
'true'
of <Try> ->
Try
catch <T,R> ->
'false' ->
%% Line 10
'ok'
( <_cor3> when 'true' ->
( primop 'match_fail'
({'function_clause',_cor3})
-| [{'function_name',{'t',1}}] )
-| ['compiler_generated'] )
end
end
|