Public Git Hosting - hiphop-php.git/commit

commit	1bebccd66042491c918004f000d961c3f886f6c3
author	Andrew Kennedy <akenn@fb.com>
	Fri, 11 Dec 2020 12:40:57 +0000 (11 04:40 -0800)
committer	Facebook GitHub Bot <facebook-github-bot@users.noreply.github.com>
	Fri, 11 Dec 2020 12:43:15 +0000 (11 04:43 -0800)
tree	2f08d1aef85587d931b15cd118aaba4c5708c9d1	tree \| snapshot (tar.gz zip)
parent	b9c1238daec962c4b37a89dba28af1b99011fca5	commit \| diff

Add mli file for typing_check_service

Summary: Adding an interface to the `typing_check_service` module to aid understandability and modularity. Future diff: comments and a little refactoring.

Reviewed By: madgen

Differential Revision: D25370324

fbshipit-source-id: 6487e4ef956781977ed860ea83c5cafdfbe8af91

RSS Atom

hphp/hack/src/server/serverApi.ml		diff \| blob \| blame \| history
hphp/hack/src/server/serverCheckUtils.ml		diff \| blob \| blame \| history
hphp/hack/src/typing/typing_check_service.ml		diff \| blob \| blame \| history
hphp/hack/src/typing/typing_check_service.mli	[new file with mode: 0644]	blob
hphp/hack/test/integration_ml/test_interrupt.ml		diff \| blob \| blame \| history
hphp/hack/test/integration_ml/test_lazy_decl_idempotence.ml		diff \| blob \| blame \| history
hphp/hack/test/unit/server_tests.ml		diff \| blob \| blame \| history