Public Git Hosting - hiphop-php.git/commit

commit	c33f48b167cf5c8fbe431f5496f0d010a861b2fd
author	Wilfred Hughes <wilfred@fb.com>
	Tue, 22 Mar 2022 17:15:58 +0000 (22 10:15 -0700)
committer	Facebook GitHub Bot <facebook-github-bot@users.noreply.github.com>
	Tue, 22 Mar 2022 17:15:58 +0000 (22 10:15 -0700)
tree	f96e04fff2f79c2ef2189590c73bbd203599a603	tree \| snapshot (tar.gz zip)
parent	115d4f47085d552e7bc02fa19cdaf04b5e2576ec	commit \| diff

Prefer records over tuples for server RPC messages

Summary: Prefer records for RPC messages, so we don't confuse e.g. mode with file name (which are both strings in some cases).

Reviewed By: vsiles

Differential Revision: D34493573

fbshipit-source-id: 713bdd2b54f12ce6defef9c35707d9f794c026f0

RSS Atom

hphp/hack/src/client/clientCheck.ml		diff \| blob \| blame \| history
hphp/hack/src/server/serverCommand.ml		diff \| blob \| blame \| history
hphp/hack/src/server/serverCommandTypes.ml		diff \| blob \| blame \| history
hphp/hack/src/server/serverRpc.ml		diff \| blob \| blame \| history
hphp/hack/test/integration_ml/ide/test_status_single.ml		diff \| blob \| blame \| history