blob: 95b3cd52d60593c1f1915c5f91f9b1faaa021208 (
plain) (
blame)
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
|
module 'reversed_annos' ['reversed_annos'/0]
attributes []
'reversed_annos'/0 =
fun () ->
case <> of
<> when 'true' ->
case apply 't'/1
(['a']) of
<'ok'> when 'true' ->
let <_cor2> =
apply 't'/1
(['a'|['b']])
in
case _cor2 of
<'ok'> when 'true' ->
( _cor2
-| ['compiler_generated'] )
( <_cor1> when 'true' ->
primop 'match_fail'
({'badmatch',_cor1})
-| ['compiler_generated'] )
end
( <_cor0> when 'true' ->
primop 'match_fail'
({'badmatch',_cor0})
-| ['compiler_generated'] )
end
( <> when 'true' ->
( primop 'match_fail'
({'function_clause'})
-| [{'function_name',{'reversed_annos',0}}] )
-| ['compiler_generated'] )
end
't'/1 =
fun (_cor0) ->
case _cor0 of
<[_cor2|_cor3]> when 'true' ->
'ok'
%% Cover v3_kernel:get_line/1.
( <['a']> when 'true' ->
'error'
-| [{'file',"reversed_annos.erl"},11] )
( <_cor1> when 'true' ->
( primop 'match_fail'
({'function_clause',_cor1})
-| [{'function_name',{'t',1}}] )
-| ['compiler_generated'] )
end
end
|
