Hardcode array_map typing into typechecker - output typing
commit343966c4fe46e88e997bcf2a82bcf9022afe6e36
authorKasper Kopec <kasper@fb.com>
Thu, 9 Oct 2014 17:00:11 +0000 (9 10:00 -0700)
committerhhvm-bot <hhvm-bot@fb.com>
Thu, 9 Oct 2014 17:30:21 +0000 (9 10:30 -0700)
tree20e969b0413f1380e62375a1fea28fb9efb65907
parent5787ec32b46d63c897f57f6de7a76aaea729abbb
Hardcode array_map typing into typechecker - output typing

Summary: The part where I correctly annotate output type of array_map, split from D1566676 where input parameters are typed, and output is left just as "array". See comment in .hhi file for explanation.

Reviewed By: @elgenie

Differential Revision: D1591816
hphp/hack/hhi/stdlib/builtins_array.idl.hhi
hphp/hack/src/typing/typing.ml
hphp/hack/test/typecheck/array_map.php.exp
hphp/hack/test/typecheck/array_map3.php.exp
hphp/hack/test/typecheck/array_map7.php [new file with mode: 0644]
hphp/hack/test/typecheck/array_map7.php.exp [new file with mode: 0644]