| commit | add076f145ef737e8b21fe2356852318d2897a60 | |
| author | Andrew Kennedy <akenn@fb.com> | |
| Tue, 9 Nov 2021 11:59:21 +0000 (9 03:59 -0800) | ||
| committer | Facebook GitHub Bot <facebook-github-bot@users.noreply.github.com> | |
| Tue, 9 Nov 2021 12:00:42 +0000 (9 04:00 -0800) | ||
| tree | 481a2e61e7b7259f50b2352caeeb594b16d66ccc | treesnapshot (tar.gz zip) |
| parent | ae6ae79a3658d5f414b0099d44fc57360a58c7aa | commitdiff |
Move some parameter-related functions into a new module
Summary: As the title says. Move some typing of parameters into `Typing_param`, with a little clean up.
Reviewed By: francesco-zappa-nardelli
Differential Revision: D32276998
fbshipit-source-id: f61c1f805b46552996e402cd6b95f057e542192c
Summary: As the title says. Move some typing of parameters into `Typing_param`, with a little clean up.
Reviewed By: francesco-zappa-nardelli
Differential Revision: D32276998
fbshipit-source-id: f61c1f805b46552996e402cd6b95f057e542192c
| hphp/hack/src/typing/dune | diffblobblamehistory | |
| hphp/hack/src/typing/typing_param.ml | [new file with mode: 0644] | blob |
| hphp/hack/src/typing/typing_param.mli | [new file with mode: 0644] | blob |
| hphp/hack/src/typing/typing_toplevel.ml | diffblobblamehistory |