| commit | aabeb12f4b32d658f2192bf0beee76f6af93cd83 | |
| author | Vincent Siles <vsiles@fb.com> | |
| Wed, 7 Apr 2021 15:11:18 +0000 (7 08:11 -0700) | ||
| committer | Facebook GitHub Bot <facebook-github-bot@users.noreply.github.com> | |
| Wed, 7 Apr 2021 15:13:15 +0000 (7 08:13 -0700) | ||
| tree | 022c43ee0fd64a71dbdb6e2acb8a24752bd3272c | treesnapshot (tar.gz zip) |
| parent | f5797d9737e55e87d2803967aabd481143214064 | commitdiff |
remove code duplication for equal_decl_ty
Summary:
Use the GADT version of type compare to implement both locl_ty and decl_ty
equality + minor cleanup (removing of mutually recursive functions that are
not longer mutual nor recursive)
Reviewed By: CatherineGasnier
Differential Revision: D27619854
fbshipit-source-id: 78605410c0009a08924d17739ee8799429881b95
Summary:
Use the GADT version of type compare to implement both locl_ty and decl_ty
equality + minor cleanup (removing of mutually recursive functions that are
not longer mutual nor recursive)
Reviewed By: CatherineGasnier
Differential Revision: D27619854
fbshipit-source-id: 78605410c0009a08924d17739ee8799429881b95
| hphp/hack/src/typing/typing_defs.ml | diffblobblamehistory |