| commit | e6d1337473113a33f6a8eadbbde69d7ce1594ca0 | |
| author | Henri Verroken <hverr@fb.com> | |
| Mon, 23 Mar 2020 13:45:20 +0000 (23 06:45 -0700) | ||
| committer | Facebook GitHub Bot <facebook-github-bot@users.noreply.github.com> | |
| Mon, 23 Mar 2020 13:49:06 +0000 (23 06:49 -0700) | ||
| tree | b87b4deb61dec193cfe07a141fdd36e4ee2b8d21 | treesnapshot (tar.gz zip) |
| parent | 22cf3d45ee6d1966d6735d11b4c7e93887a82c62 | commitdiff |
Make Ty abstract
Summary:
Just as in OCaml, we make the `Ty` tuple abstract, providing a `mk` and `unpack` function.
This is useful if we wan't to instrument code.
Reviewed By: andrewjkennedy
Differential Revision: D20442531
fbshipit-source-id: 15c89883d4d0bd8ee1ddad30066dfbf07335554c
Summary:
Just as in OCaml, we make the `Ty` tuple abstract, providing a `mk` and `unpack` function.
This is useful if we wan't to instrument code.
Reviewed By: andrewjkennedy
Differential Revision: D20442531
fbshipit-source-id: 15c89883d4d0bd8ee1ddad30066dfbf07335554c
| hphp/hack/src/typing/typing_defs_core.rs | diffblobblamehistory | |
| hphp/hack/src/typing/typing_inference_env.rs | diffblobblamehistory | |
| hphp/hack/src/typing/typing_make_type.rs | diffblobblamehistory |