Replace --no-suppressions with --include-suppressed
commit8a0a9c88e610156f4eb324479688c39afd18a726
authorGabe Levi <gabe@fb.com>
Wed, 3 May 2017 22:09:28 +0000 (3 15:09 -0700)
committerHhvm Bot <hhvm-bot@users.noreply.github.com>
Wed, 3 May 2017 22:30:54 +0000 (3 15:30 -0700)
treed79f41671435036432062659284773a95597466a
parentda6968ba9c04ff9a0f51f71499698c423faec52b
Replace --no-suppressions with --include-suppressed

Summary:
The `--no-suppressions` flag would override the `.flowconfig` and
pretend like there are no suppression comments.

The `--include-suppressed` flag includes suppressed errors in the error output.

How is this different?

1. In JSON mode, we can output a `suppressions: [ ... ]` field for each error
2. Unused suppression comments still error

Reviewed By: samwgoldman

Differential Revision: D4976259

fbshipit-source-id: e2ce73e3af3fd68c027500ee68a6b6590d9262d7
hphp/hack/src/typing/typing_lenv_cont.ml
hphp/hack/src/utils/collections/myMap.ml
hphp/hack/src/utils/collections/myMap_sig.ml