Rip out legacy reactivity from the typechecker and HackC
[hiphop-php.git] / hphp / hack / test / tast / array_map.php.exp
blob312ded6ccfff9bc4e99314f26028af94975184ce
1 [(Fun
2 { f_span = [3:1-19:2]; f_annotation = (); f_mode = Mpartial;
3 f_readonly_ret = None;
4 f_ret = ((void), (Some ([12:4-8], (Hprim Tvoid))));
5 f_name = ([3:10-14], "\\test"); f_tparams = [];
6 f_where_constraints = []; f_variadic = FVnonVariadic;
7 f_params =
8 [{ param_annotation = ([4:25-27], (function(int): bool));
9 param_type_hint =
10 (((function(int): bool)),
11 (Some ([4:3-24],
12 (Hfun
13 { hf_param_tys = [([4:13-16], (Hprim Tint))];
14 hf_param_info = [None]; hf_variadic_ty = None;
15 hf_ctxs = None;
16 hf_return_ty = ([4:19-23], (Hprim Tbool));
17 hf_is_readonly_return = None }))));
18 param_is_variadic = false; param_pos = [4:25-27]; param_name = "$f";
19 param_expr = None; param_readonly = None; param_callconv = None;
20 param_user_attributes = []; param_visibility = None };
21 { param_annotation = ([5:33-35], (function(int, string): bool));
22 param_type_hint =
23 (((function(int, string): bool)),
24 (Some ([5:3-32],
25 (Hfun
26 { hf_param_tys =
27 [([5:13-16], (Hprim Tint));
28 ([5:18-24], (Hprim Tstring))];
29 hf_param_info = [None; None]; hf_variadic_ty = None;
30 hf_ctxs = None;
31 hf_return_ty = ([5:27-31], (Hprim Tbool));
32 hf_is_readonly_return = None }))));
33 param_is_variadic = false; param_pos = [5:33-35];
34 param_name = "$g"; param_expr = None; param_readonly = None;
35 param_callconv = None; param_user_attributes = [];
36 param_visibility = None };
37 { param_annotation =
38 ([6:48-50], (function(int, string, num): Container<int>));
39 param_type_hint =
40 (((function(int, string, num): Container<int>)),
41 (Some ([6:3-47],
42 (Hfun
43 { hf_param_tys =
44 [([6:13-16], (Hprim Tint));
45 ([6:18-24], (Hprim Tstring));
46 ([6:26-29], (Hprim Tnum))];
47 hf_param_info = [None; None; None];
48 hf_variadic_ty = None; hf_ctxs = None;
49 hf_return_ty =
50 ([6:32-46],
51 (Happly (([6:32-41], "\\HH\\Container"),
52 [([6:42-45], (Hprim Tint))])));
53 hf_is_readonly_return = None }))));
54 param_is_variadic = false; param_pos = [6:48-50];
55 param_name = "$h"; param_expr = None; param_readonly = None;
56 param_callconv = None; param_user_attributes = [];
57 param_visibility = None };
58 { param_annotation = ([7:25-27], (function(num): bool));
59 param_type_hint =
60 (((function(num): bool)),
61 (Some ([7:3-24],
62 (Hfun
63 { hf_param_tys = [([7:13-16], (Hprim Tnum))];
64 hf_param_info = [None]; hf_variadic_ty = None;
65 hf_ctxs = None;
66 hf_return_ty = ([7:19-23], (Hprim Tbool));
67 hf_is_readonly_return = None }))));
68 param_is_variadic = false; param_pos = [7:25-27];
69 param_name = "$i"; param_expr = None; param_readonly = None;
70 param_callconv = None; param_user_attributes = [];
71 param_visibility = None };
72 { param_annotation = ([8:18-21], Container<int>);
73 param_type_hint =
74 ((Container<int>),
75 (Some ([8:3-17],
76 (Happly (([8:3-12], "\\HH\\Container"),
77 [([8:13-16], (Hprim Tint))])))));
78 param_is_variadic = false; param_pos = [8:18-21];
79 param_name = "$ci"; param_expr = None; param_readonly = None;
80 param_callconv = None; param_user_attributes = [];
81 param_visibility = None };
82 { param_annotation = ([9:21-24], Container<string>);
83 param_type_hint =
84 ((Container<string>),
85 (Some ([9:3-20],
86 (Happly (([9:3-12], "\\HH\\Container"),
87 [([9:13-19], (Hprim Tstring))])))));
88 param_is_variadic = false; param_pos = [9:21-24];
89 param_name = "$cs"; param_expr = None; param_readonly = None;
90 param_callconv = None; param_user_attributes = [];
91 param_visibility = None };
92 { param_annotation = ([10:28-31], KeyedContainer<int, num>);
93 param_type_hint =
94 ((KeyedContainer<int, num>),
95 (Some ([10:3-27],
96 (Happly (([10:3-17], "\\HH\\KeyedContainer"),
97 [([10:18-21], (Hprim Tint)); ([10:23-26], (Hprim Tnum))]
98 )))));
99 param_is_variadic = false; param_pos = [10:28-31];
100 param_name = "$cn"; param_expr = None; param_readonly = None;
101 param_callconv = None; param_user_attributes = [];
102 param_visibility = None };
103 { param_annotation = ([11:8-10], bool);
104 param_type_hint = ((bool), (Some ([11:3-7], (Hprim Tbool))));
105 param_is_variadic = false; param_pos = [11:8-10];
106 param_name = "$b"; param_expr = None; param_readonly = None;
107 param_callconv = None; param_user_attributes = [];
108 param_visibility = None }
110 f_ctxs = None; f_unsafe_ctxs = None;
111 f_body =
112 { fb_ast =
113 [([13:3-32],
114 (Expr
115 (([13:3-31], (Container<int> | KeyedContainer<int, num>)),
116 (Binop ((Eq None),
117 (([13:3-14], (Container<int> | KeyedContainer<int, num>)),
118 (Lvar ([13:3-14], $unresolved))),
119 (([13:17-31], (Container<int> | KeyedContainer<int, num>)),
120 (Eif ((([13:17-19], bool), (Lvar ([13:17-19], $b))),
121 (Some (([13:22-25], Container<int>),
122 (Lvar ([13:22-25], $ci)))),
123 (([13:28-31], KeyedContainer<int, num>),
124 (Lvar ([13:28-31], $cn)))
126 )))));
127 ([15:3-22],
128 (Expr
129 (([15:3-21], darray<arraykey, _>),
130 (Call (
131 (([15:3-12], (function($callback, $arr1, ...): darray<arraykey, _>)),
132 (Id ([15:3-12], "\\array_map"))),
134 [(([15:13-15], (function(int): bool)),
135 (Lvar ([15:13-15], $f)));
136 (([15:17-20], Container<int>), (Lvar ([15:17-20], $ci)))],
137 None)))));
138 ([16:3-27],
139 (Expr
140 (([16:3-26], _),
141 (Call (
142 (([16:3-12], (function($callback, $arr1, ...): _)),
143 (Id ([16:3-12], "\\array_map"))),
145 [(([16:13-15], (function(int, string): bool)),
146 (Lvar ([16:13-15], $g)));
147 (([16:17-20], Container<int>), (Lvar ([16:17-20], $ci)));
148 (([16:22-25], Container<string>),
149 (Lvar ([16:22-25], $cs)))
151 None)))));
152 ([17:3-32],
153 (Expr
154 (([17:3-31], _),
155 (Call (
156 (([17:3-12], (function($callback, $arr1, ...): _)),
157 (Id ([17:3-12], "\\array_map"))),
159 [(([17:13-15], (function(int, string, num): Container<int>)),
160 (Lvar ([17:13-15], $h)));
161 (([17:17-20], Container<int>), (Lvar ([17:17-20], $ci)));
162 (([17:22-25], Container<string>),
163 (Lvar ([17:22-25], $cs)));
164 (([17:27-30], KeyedContainer<int, num>),
165 (Lvar ([17:27-30], $cn)))
167 None)))));
168 ([18:3-30],
169 (Expr
170 (([18:3-29], darray<arraykey, _>),
171 (Call (
172 (([18:3-12], (function($callback, $arr1, ...): darray<arraykey, _>)),
173 (Id ([18:3-12], "\\array_map"))),
175 [(([18:13-15], (function(num): bool)),
176 (Lvar ([18:13-15], $i)));
177 (([18:17-28], (Container<int> | KeyedContainer<int, num>)),
178 (Lvar ([18:17-28], $unresolved)))
180 None)))))
182 fb_annotation = () };
183 f_fun_kind = FSync; f_user_attributes = []; f_file_attributes = [];
184 f_external = false;
185 f_namespace =
186 { Namespace_env.ns_ns_uses = <opaque>; ns_class_uses = <opaque>;
187 ns_record_def_uses = <opaque>; ns_fun_uses = <opaque>;
188 ns_const_uses = <opaque>; ns_name = None; ns_auto_ns_map = [];
189 ns_is_codegen = false; ns_disable_xhp_element_mangling = false };
190 f_doc_comment = None; f_static = false })