Support for HH_FIXME
commitd028f3123d0322e431aaaeec2c643d65bfb29d3b
authorJulien Verlaguet <julienv@fb.com>
Thu, 4 Sep 2014 17:51:21 +0000 (4 10:51 -0700)
committerhhvm-bot <hhvm-bot@fb.com>
Thu, 4 Sep 2014 18:00:17 +0000 (4 11:00 -0700)
tree2da56dfb87cf9a98e33b22d293e7f47f1024a397
parentb4ddc0bcde4b1215dc3aa2e356724ed4130d032b
Support for HH_FIXME

Summary: It's sometimes difficult to fix all the typing errors at once.
This problem occurs when we try to convert a core library or when
we introduce a new check that reveals a lot of typing errors.

This diff adds support for a new construction: one can now add
/* HH_FIXME[ERROR_NUMBER] */ on the line that contains an error and
the error will be ignored by the type-checker.

We hope that this will help us to crowdsource the conversion effort.

Reviewed By: @jwatzman, @elgenie

Differential Revision: D1517560
27 files changed:
hphp/hack/src/parsing/lexer_hack.mll
hphp/hack/src/parsing/parser_hack.ml
hphp/hack/src/parsing/parser_heap.ml
hphp/hack/src/server/serverTypeCheck.ml
hphp/hack/src/utils/errors.ml
hphp/hack/src/utils/errors.mli
hphp/hack/src/utils/pos.ml
hphp/hack/test/typecheck/hh_fixme1.php [new file with mode: 0644]
hphp/hack/test/typecheck/hh_fixme1.php.exp [new file with mode: 0644]
hphp/hack/test/typecheck/hh_fixme10.php [new file with mode: 0644]
hphp/hack/test/typecheck/hh_fixme10.php.exp [new file with mode: 0644]
hphp/hack/test/typecheck/hh_fixme2.php [new file with mode: 0644]
hphp/hack/test/typecheck/hh_fixme2.php.exp [new file with mode: 0644]
hphp/hack/test/typecheck/hh_fixme3.php [new file with mode: 0644]
hphp/hack/test/typecheck/hh_fixme3.php.exp [new file with mode: 0644]
hphp/hack/test/typecheck/hh_fixme4.php [new file with mode: 0644]
hphp/hack/test/typecheck/hh_fixme4.php.exp [new file with mode: 0644]
hphp/hack/test/typecheck/hh_fixme5.php [new file with mode: 0644]
hphp/hack/test/typecheck/hh_fixme5.php.exp [new file with mode: 0644]
hphp/hack/test/typecheck/hh_fixme6.php [new file with mode: 0644]
hphp/hack/test/typecheck/hh_fixme6.php.exp [new file with mode: 0644]
hphp/hack/test/typecheck/hh_fixme7.php [new file with mode: 0644]
hphp/hack/test/typecheck/hh_fixme7.php.exp [new file with mode: 0644]
hphp/hack/test/typecheck/hh_fixme8.php [new file with mode: 0644]
hphp/hack/test/typecheck/hh_fixme8.php.exp [new file with mode: 0644]
hphp/hack/test/typecheck/hh_fixme9.php [new file with mode: 0644]
hphp/hack/test/typecheck/hh_fixme9.php.exp [new file with mode: 0644]