| commit | 1a8f23b7647e218df07d131b334a770425414dc0 | |
| author | Lucian Wischik <ljw@fb.com> | |
| Tue, 5 Nov 2019 18:10:04 +0000 (5 10:10 -0800) | ||
| committer | Facebook Github Bot <facebook-github-bot@users.noreply.github.com> | |
| Tue, 5 Nov 2019 18:12:27 +0000 (5 10:12 -0800) | ||
| tree | b9f66239f5cd7f73e3c26f72fb71b4b5317e54ac | treesnapshot (tar.gz zip) |
| parent | 5fa2d98fee106b3069c1b3d426736fffb9f95d43 | commitdiff |
naming 9: new API Naming_table.Types.get_kind
Summary:
I'm trying to clean up some naming code to better understand (1) how+why it depends upon the naming table, (2) does it require positions.
This diff adds a method `Naming_table.Types.get_kind`, and sees how many places in the codebase need the kind (but don't care about any of the pos information).
Reviewed By: kmeht
Differential Revision: D17842389
fbshipit-source-id: 1c22097185bd8e31a276df8211d355a277990ec4
Summary:
I'm trying to clean up some naming code to better understand (1) how+why it depends upon the naming table, (2) does it require positions.
This diff adds a method `Naming_table.Types.get_kind`, and sees how many places in the codebase need the kind (but don't care about any of the pos information).
Reviewed By: kmeht
Differential Revision: D17842389
fbshipit-source-id: 1c22097185bd8e31a276df8211d355a277990ec4
| hphp/hack/src/naming/naming_table.ml | diffblobblamehistory | |
| hphp/hack/src/naming/naming_table.mli | diffblobblamehistory |