| commit | 371efc055d4d5771afbcafd9818de8d19d8ccb39 | |
| author | Andrew Kennedy <akenn@fb.com> | |
| Wed, 28 Nov 2018 13:22:24 +0000 (28 05:22 -0800) | ||
| committer | Hhvm Bot <hhvm-bot@users.noreply.github.com> | |
| Wed, 28 Nov 2018 13:27:44 +0000 (28 05:27 -0800) | ||
| tree | 8246a1c0210bfcabe771628bcfaa1874323fbf20 | treesnapshot (tar.gz zip) |
| parent | 37ba16aa3a63149cc2986b29a959eb3c21244582 | commitdiff |
Move more logic into simplify_subtype
Summary: Move some more functionality from `Typing_unify.unify` and `sub_type_inner_helper` into `simplify_subtype`.
Reviewed By: manzyuk
Differential Revision: D13171323
fbshipit-source-id: 1e13ea15ce78752b2807aceba32bff21d62b6edc
Summary: Move some more functionality from `Typing_unify.unify` and `sub_type_inner_helper` into `simplify_subtype`.
Reviewed By: manzyuk
Differential Revision: D13171323
fbshipit-source-id: 1e13ea15ce78752b2807aceba32bff21d62b6edc
| hphp/hack/src/typing/typing_subtype.ml | diffblobblamehistory |