| commit | c61bde49eca6b177e790ab543de5053ab9a317ab | |
| author | Wilfred Hughes <wilfred@fb.com> | |
| Wed, 7 Aug 2019 13:58:02 +0000 (7 06:58 -0700) | ||
| committer | Hhvm Bot <hhvm-bot@users.noreply.github.com> | |
| Wed, 7 Aug 2019 14:02:24 +0000 (7 07:02 -0700) | ||
| tree | e88c4138bfefa6a4e29ea50977e040cde590b00f | treesnapshot (tar.gz zip) |
| parent | 43e00486aa61355b9c4758ae6e45d9e5bf5bcfdc | commitdiff |
Don't use Aast.Any when marking expressions as type Tany
Summary:
As part of types in compilation, we want to remove the `Any` expression, which cannot be compiled.
Update `typing.ml` so that it preserves the original expression when marking the expression as `Tany`.
Reviewed By: arun11111
Differential Revision: D16621826
fbshipit-source-id: 7319d1495a06fe6088e3604d9de0a136e3210dab
Summary:
As part of types in compilation, we want to remove the `Any` expression, which cannot be compiled.
Update `typing.ml` so that it preserves the original expression when marking the expression as `Tany`.
Reviewed By: arun11111
Differential Revision: D16621826
fbshipit-source-id: 7319d1495a06fe6088e3604d9de0a136e3210dab
| hphp/hack/src/typing/typing.ml | diffblobblamehistory | |
| hphp/hack/test/tast/unbound_name_partial.php | [new file with mode: 0644] | blob |
| hphp/hack/test/tast/unbound_name_partial.php.exp | [new file with mode: 0644] | blob |