Public Git Hosting - hiphop-php.git/commit

commit	5507426904d8710d50e69e80bab0ae575272b9e0
author	Philippe Bidinger <pbidinger@fb.com>
	Thu, 17 Feb 2022 10:48:52 +0000 (17 02:48 -0800)
committer	Facebook GitHub Bot <facebook-github-bot@users.noreply.github.com>
	Thu, 17 Feb 2022 10:50:42 +0000 (17 02:50 -0800)
tree	4caacb492a137b11b17d2fb8000cb0b29addc492	tree \| snapshot (tar.gz zip)
parent	9e4633c4c9afea36d067825bf88efac3ed2c1eb0	commit \| diff

minor refactoring

Summary:
* rename `Symbol_info_writer` into `Symbol_entrypoint`
* use labels to disambiguate types in function signature

Reviewed By: nhawkes

Differential Revision: D34260711

fbshipit-source-id: d623870cb32fd0a53da3447748e1975826ed8963

hphp/hack/src/server/serverLazyInit.ml		diff \| blob \| blame \| history
hphp/hack/src/typing/write_symbol_info/dune		diff \| blob \| blame \| history
hphp/hack/src/typing/write_symbol_info/symbol_entrypoint.ml	[moved from hphp/hack/src/typing/write_symbol_info/symbol_info_writer.ml with 94% similarity]	diff \| blob \| blame \| history
hphp/hack/src/typing/write_symbol_info/symbol_entrypoint.mli	[moved from hphp/hack/src/typing/write_symbol_info/symbol_info_writer.mli with 66% similarity]	diff \| blob \| blame \| history

RSS Atom