| commit | 1d725bd298232ed2ca0d2b4167125683052fff77 | |
| author | Vassil Mladenov <vmladenov@fb.com> | |
| Wed, 3 Jun 2020 20:49:34 +0000 (3 13:49 -0700) | ||
| committer | Facebook GitHub Bot <facebook-github-bot@users.noreply.github.com> | |
| Wed, 3 Jun 2020 20:53:03 +0000 (3 13:53 -0700) | ||
| tree | e80eb26fc14da7a9e7730b54aabb4f7910395858 | treesnapshot (tar.gz zip) |
| parent | 00c775243759525b0dc649cb502a3a2d31a9ef15 | commitdiff |
Stop duplicating code
Summary: Observe that `add` and `add_list` are basically the same function. I perform all the whitelisting logic in add_list in subsequent diffs.
Reviewed By: Wilfred
Differential Revision: D21835315
fbshipit-source-id: c36684ddd241b1dca955e2bcf235cf9d20024d9b
Summary: Observe that `add` and `add_list` are basically the same function. I perform all the whitelisting logic in add_list in subsequent diffs.
Reviewed By: Wilfred
Differential Revision: D21835315
fbshipit-source-id: c36684ddd241b1dca955e2bcf235cf9d20024d9b
| hphp/hack/src/errors/errors.ml | diffblobblamehistory |