aboutsummaryrefslogtreecommitdiffstats
path: root/lib/compiler/test/core_SUITE_data/name_capture.core
blob: 0969f95b724083b34553ccae46f958d3899a1361 (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
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
module 'name_capture' ['module_info'/0,
		       'module_info'/1,
		       'name_capture'/0]
    attributes ['compile' =
		    [{'inline',[{'badarg_exit',2}]}]]
'name_capture'/0 =
    fun () ->
	case <> of
	  <> when 'true' ->
	      let <_0> =
		  catch
		      apply 'first'/1
			  ('badarg')
	      in  case _0 of
		    <{'EXIT',{'badarg',_7}}> when 'true' ->
			let <Seq> =
			    call 'lists':'seq'
				(7, 17)
			in  case apply 'first'/1
				     ({'ok',Seq}) of
			      <_8>
				  when call 'erlang':'=:='
					(_8,
					 Seq) ->
				  let <SomeOtherTerm> =
				      {'some','other','term'}
				  in  let <_5> =
					  catch
					      apply 'first'/1
						  (SomeOtherTerm)
				      in  case _5 of
					    <{'EXIT',_9}>
						when call 'erlang':'=:='
						      (_9,
						       SomeOtherTerm) ->
						'ok'
					    <_6> when 'true' ->
						primop 'match_fail'
						    ({'badmatch',_6})
					  end
			      <_3> when 'true' ->
				  primop 'match_fail'
				      ({'badmatch',_3})
			    end
		    <_1> when 'true' ->
			primop 'match_fail'
			    ({'badmatch',_1})
		  end
	  <> when 'true' ->
	      primop 'match_fail'
		  ({'function_clause'})
	end
'first'/1 =
    fun (_0) ->
	case _0 of
	  <Tab> when 'true' ->
	      let <_1> =
		  apply 'treq'/2
		      (Tab, 'first')
		      %% The _1 variable in the `let` must be renamed
		      %% to avoid a name capture problem.
	      in  let <_0,_1> =
		      <_1,[Tab|[]]>
		  in  case <_0,_1> of
			<'badarg',A> when 'true' ->
			    call 'erlang':'error'
				('badarg', A)
			<{'ok',Reply},_X_A> when 'true' ->
			    Reply
			<Reply,_X_A> when 'true' ->
			    call 'erlang':'exit'
				(Reply)
			<_3,_2> when 'true' ->
			    primop 'match_fail'
				({'function_clause',_3,_2})
		      end
	  <_2> when 'true' ->
	      primop 'match_fail'
		  ({'function_clause',_2})
	end
'treq'/2 =
    fun (_0,_1) ->
	case <_0,_1> of
	  <Action,_4> when 'true' ->
	      Action
	  <_3,_2> when 'true' ->
	      primop 'match_fail'
		  ({'function_clause',_3,_2})
	end
'module_info'/0 =
    fun () ->
	case <> of
	  <> when 'true' ->
	      call 'erlang':'get_module_info'
		  ('name_capture')
	  <> when 'true' ->
	      primop 'match_fail'
		  ({'function_clause'})
	end
'module_info'/1 =
    fun (_0) ->
	case _0 of
	  <X> when 'true' ->
	      call 'erlang':'get_module_info'
		  ('name_capture', X)
	  <_1> when 'true' ->
	      primop 'match_fail'
		  ({'function_clause',_1})
	end
end