| commit | 1cef2af9c7e5e2e0d59298d330a1fa4ca348f2ec | |
| author | Henri Verroken <hverr@fb.com> | |
| Tue, 12 Jan 2021 12:51:41 +0000 (12 04:51 -0800) | ||
| committer | Facebook GitHub Bot <facebook-github-bot@users.noreply.github.com> | |
| Tue, 12 Jan 2021 12:55:26 +0000 (12 04:55 -0800) | ||
| tree | 145d745e9440eddd7d21195da8a39529ce68f5ba | treesnapshot (tar.gz zip) |
| parent | 999dd123717d386064135a9011df9b3ec9aa236d | commitdiff |
Store master/local changes in record instead of tuple
Summary:
Currently, we store master/local changes in a `Relative_path.t list * Relative_path.t list`, not the most readable/error-resistent type.
I've changed it to a record type to make sure we don't switch them around.
Reviewed By: ljw1004
Differential Revision: D25847407
fbshipit-source-id: 54544324498d2b4739fdc6fd74e7f21aea7dbf27
Summary:
Currently, we store master/local changes in a `Relative_path.t list * Relative_path.t list`, not the most readable/error-resistent type.
I've changed it to a record type to make sure we don't switch them around.
Reviewed By: ljw1004
Differential Revision: D25847407
fbshipit-source-id: 54544324498d2b4739fdc6fd74e7f21aea7dbf27
| hphp/hack/src/server/serverLazyInit.ml | diffblobblamehistory | |
| hphp/hack/src/stubs/state_loader.ml | diffblobblamehistory |