| commit | d197d42cf99b53e7c82efa6dce1fe2f7de3c4eaf | |
| author | Catherine Gasnier <catg@fb.com> | |
| Tue, 8 Jan 2019 20:09:54 +0000 (8 12:09 -0800) | ||
| committer | Hhvm Bot <hhvm-bot@users.noreply.github.com> | |
| Tue, 8 Jan 2019 20:33:07 +0000 (8 12:33 -0800) | ||
| tree | 03c282c701dd5a2932fe10b94e9504b7480dcd77 | treesnapshot (tar.gz zip) |
| parent | 2e2484b79624b4679f1cc0daf8919ca4461eab2c | commitdiff |
refactoring in add_tyvar_upper/lower_bound
Summary: This is necessary to make the following diff simpler and more readable.
Reviewed By: Wilfred
Differential Revision: D13542475
fbshipit-source-id: 7d6051051711a4001273592d095ff90d5f5716de
Summary: This is necessary to make the following diff simpler and more readable.
Reviewed By: Wilfred
Differential Revision: D13542475
fbshipit-source-id: 7d6051051711a4001273592d095ff90d5f5716de
| hphp/hack/src/typing/typing_env.ml | diffblobblamehistory |