Typing_check_service.go_with_interrupt
commit942862efa58c6cac9cfe04df1555d76d7e518670
authorKasper Kopec <kasper@fb.com>
Wed, 18 Apr 2018 21:09:11 +0000 (18 14:09 -0700)
committerHhvm Bot <hhvm-bot@users.noreply.github.com>
Wed, 18 Apr 2018 21:11:50 +0000 (18 14:11 -0700)
tree8e5f95184488feef795a4a4c139c119c53ef83f5
parent2012205a2c8c4d9ff584de14365bf0a6c35c2fa5
Typing_check_service.go_with_interrupt

Summary: As in title. The only interrupting that can happen in practice is during tests.

Reviewed By: alexchow, jamesjwu

Differential Revision: D7550951

fbshipit-source-id: d1ed9fb9f767e2b8fd06216a9955ec7b3e03ad95
hphp/hack/src/typing/typing_check_service.ml
hphp/hack/test/integration_ml/test_interrupt.ml [new file with mode: 0644]