| commit | 6587d7b38ad9b6223bf96e0fa7bf062ff97dad0d | |
| author | Catherine Gasnier <catg@fb.com> | |
| Tue, 12 Feb 2019 19:39:01 +0000 (12 11:39 -0800) | ||
| committer | Hhvm Bot <hhvm-bot@users.noreply.github.com> | |
| Tue, 12 Feb 2019 20:10:41 +0000 (12 12:10 -0800) | ||
| tree | 415527700ffa27c1f752caf5f76370c0d19e73fc | treesnapshot (tar.gz zip) |
| parent | 5b961633c4379c18a2a35c0900075ea969737708 | commitdiff |
further simplification in disjunction smart ctor
Summary: Pretty straightforward improvement of the `disj` smart constructor. Removes a handful of false positives, see added test.
Reviewed By: andrewjkennedy
Differential Revision: D14043069
fbshipit-source-id: 88350e976732ce2af6abcbbb5bee466093e4ac22
Summary: Pretty straightforward improvement of the `disj` smart constructor. Removes a handful of false positives, see added test.
Reviewed By: andrewjkennedy
Differential Revision: D14043069
fbshipit-source-id: 88350e976732ce2af6abcbbb5bee466093e4ac22
| hphp/hack/src/typing/typing_logic.ml | diffblobblamehistory | |
| hphp/hack/test/typecheck/new_inference/bug_w_disj.php | [new file with mode: 0644] | blob |
| hphp/hack/test/typecheck/new_inference/bug_w_disj.php.exp | [new file with mode: 0644] | blob |