removing silent_mode
commitc671d3159cb9297472a0ab62f5acfec5a2b6c324
authorJulien Verlaguet <julienv@fb.com>
Wed, 4 Jun 2014 21:55:28 +0000 (4 14:55 -0700)
committerfacebook-github-bot <githubbot@fb.com>
Fri, 13 Jun 2014 21:49:22 +0000 (13 14:49 -0700)
treef84b50feba1c8a381649d0423b1adc58d91fd5c2
parent7ef9617e5b5f8b5c492875c4951437d1f3f78176
removing silent_mode

Summary: Silent mode was mostly used by auto-completion to ignore errors.
We are going to change the way the type-checker works and not stop at the first error any more.
In preparation of that diff, I prefer to first remove silent_mode, it makes the rest easier to follow.

Reviewed By: @elgenie

Differential Revision: D1365369
24 files changed:
hphp/hack/src/globals/Makefile
hphp/hack/src/globals/silent.ml [deleted file]
hphp/hack/src/js/Makefile
hphp/hack/src/js/hh_ide.ml
hphp/hack/src/naming/naming.ml
hphp/hack/src/parsing/parser_hack.ml
hphp/hack/src/server/serverAutoComplete.ml
hphp/hack/src/server/serverIdeUtils.ml
hphp/hack/src/server/serverIdentifyFunction.ml
hphp/hack/src/server/serverPrintTypes.ml
hphp/hack/src/typing/nastCheck.ml
hphp/hack/src/typing/nastInitCheck.ml
hphp/hack/src/typing/typing.ml
hphp/hack/src/typing/typing_async.ml
hphp/hack/src/typing/typing_check_service.ml
hphp/hack/src/typing/typing_decl.ml
hphp/hack/src/typing/typing_defs.ml
hphp/hack/src/typing/typing_extends.ml
hphp/hack/src/typing/typing_generic.ml
hphp/hack/src/typing/typing_inherit.ml
hphp/hack/src/typing/typing_ops.ml
hphp/hack/src/typing/typing_subtype.ml
hphp/hack/src/typing/typing_tdef.ml
hphp/hack/src/typing/typing_unify.ml