?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
(parent: c88f47c) | patch
Add a setting for disabling remote type checking if errors in certain phases are...
commitaa4fca9df95312448b9040c7b76a0b20ff9562ef
authorTatiana Racheva <tatianaracheva@fb.com>
Wed, 6 May 2020 06:32:01 +0000 (5 23:32 -0700)
committerFacebook GitHub Bot <facebook-github-bot@users.noreply.github.com>
Wed, 6 May 2020 06:34:48 +0000 (5 23:34 -0700)
treed2f82feeea6d953034b2963d7a6c7b7ad39e4bc1tree | snapshot (tar.gz zip)
parentc88f47c3e4619559a06a5561da8018d5b40643c0commit | diff
Add a setting for disabling remote type checking if errors in certain phases are present

Reviewed By: yinghuitan

Differential Revision: D21296992

fbshipit-source-id: ec77a0ebb4188e9c703dd63b416af8a1298d5ebc
hphp/hack/src/errors/errors.ml diff | blob | blame | history
hphp/hack/src/errors/errors.mli diff | blob | blame | history
hphp/hack/src/server/serverCheckUtils.ml diff | blob | blame | history
hphp/hack/src/server/serverLocalConfig.ml diff | blob | blame | history
hphp/hack/src/server/serverTypeCheck.ml diff | blob | blame | history