| commit | 00b927f2ec433cedd4d88cdb18788e6a0c7bfaed | |
| author | Lizzie Paquette <lizziepaquette@fb.com> | |
| Wed, 26 Jul 2017 22:20:34 +0000 (26 15:20 -0700) | ||
| committer | Hhvm Bot <hhvm-bot@users.noreply.github.com> | |
| Wed, 26 Jul 2017 22:38:17 +0000 (26 15:38 -0700) | ||
| tree | 97632a0865ddd2f08cedc9ed712fa1863d18cbd5 | treesnapshot (tar.gz zip) |
| parent | 99cb43b99f0020249910dbd390ef483f3253e7bd | commitdiff |
More refined least upper bound for types + testing
Summary:
Now checks if types are subtypes of eachother and if so, returns the
supertypes. Previously just looked for equality.
Reviewed By: dlreeves
Differential Revision: D5481771
fbshipit-source-id: 939b7d61471d7847434fe2d4db7bb2913582b840
Summary:
Now checks if types are subtypes of eachother and if so, returns the
supertypes. Previously just looked for equality.
Reviewed By: dlreeves
Differential Revision: D5481771
fbshipit-source-id: 939b7d61471d7847434fe2d4db7bb2913582b840
| hphp/hack/src/typing/typing_ops.ml | diffblobblamehistory | |
| hphp/hack/test/typing_ops/least_upper_bound/HH_FLAGS | [new file with mode: 0644] | blob |
| hphp/hack/test/typing_ops/least_upper_bound/prims.php | [new file with mode: 0644] | blob |
| hphp/hack/test/typing_ops/least_upper_bound/prims.php.exp | [new file with mode: 0644] | blob |