refactor predicate type
commit8c0b83628322670afa111c6bc8576f5c85a07c34
authorPhilippe Bidinger <pbidinger@fb.com>
Mon, 21 Feb 2022 16:44:49 +0000 (21 08:44 -0800)
committerFacebook GitHub Bot <facebook-github-bot@users.noreply.github.com>
Mon, 21 Feb 2022 17:22:59 +0000 (21 09:22 -0800)
tree400e9cb4fdb35a719c27236e2db0760a41f71625
parent7c09c6aeceb4f1027018609d4189975e49ffd938
refactor predicate type

Summary:
We generalise `Predicate.t` to include non hack predicates.

This avoids the need for a particular treatment for `src.FileLines`.

Reviewed By: simonmar

Differential Revision: D34363291

fbshipit-source-id: 1a9f321dea4407d9506cfa935795e72286347dec
hphp/hack/src/typing/write_symbol_info/symbol_add_fact.ml
hphp/hack/src/typing/write_symbol_info/symbol_predicate.ml
hphp/hack/test/unit/typing/writeSymbolInfoTest.ml