| commit | a716b90d21ed147a4133636c5b9af1a8ce8326fd | |
| author | Lucian Wischik <ljw@fb.com> | |
| Tue, 3 Mar 2020 02:48:23 +0000 (2 18:48 -0800) | ||
| committer | Facebook Github Bot <facebook-github-bot@users.noreply.github.com> | |
| Tue, 3 Mar 2020 03:05:00 +0000 (2 19:05 -0800) | ||
| tree | 43743727b68bc163aeb6fe51c1cdc78f3b559bcf | treesnapshot (tar.gz zip) |
| parent | 5b6f81ccdb14b71d37c8b622dd4533f10cfebcab | commitdiff |
add linearization_cache type
Summary: This is a no-op diff. It merely adds some datatypes for the local provider to be able to store linearizations. They'll be used in the next diff.
Differential Revision: D20120132
fbshipit-source-id: d8d58fcb8a7cadee4518c36bcd4ae3f845e2fb9a
Summary: This is a no-op diff. It merely adds some datatypes for the local provider to be able to store linearizations. They'll be used in the next diff.
Differential Revision: D20120132
fbshipit-source-id: d8d58fcb8a7cadee4518c36bcd4ae3f845e2fb9a
| hphp/hack/src/providers/provider_backend.ml | diffblobblamehistory | |
| hphp/hack/src/providers/provider_backend.mli | diffblobblamehistory |