| commit | 8489b468bcd7cfb7c73485d2d551fa533e490cab | |
| author | Stefan Zetzsche <zetzsche@fb.com> | |
| Tue, 9 Aug 2022 15:07:56 +0000 (9 08:07 -0700) | ||
| committer | Facebook GitHub Bot <facebook-github-bot@users.noreply.github.com> | |
| Tue, 9 Aug 2022 15:07:56 +0000 (9 08:07 -0700) | ||
| tree | 973c17b398ef6bc66f88e63ebae39f33d914ec5a | treesnapshot (tar.gz zip) |
| parent | ee41af3aa5b68d8860766aff4ad6ab78e1e02e07 | commitdiff |
Embedding HT.entity into ST.entity + equality
Summary: We extend `Shape_analysis_types.entity_`such that it embeds `Hips_types.entity` and implement an equality function `val is_same_entity : Hips_types.entity -> Shape_analysis_types.entity_ -> bool`. The latter will be used to instantiate a module of type `Intra` for shape-like-dict, see D38290182 (https://github.com/facebook/hhvm/commit/340cc0f837a1cb42dfa042596265e0d484e9adc7).
Reviewed By: madgen
Differential Revision: D38501584
fbshipit-source-id: f447e6fb23a710dd39be7e0faf24b7c0139c29d9
Summary: We extend `Shape_analysis_types.entity_`such that it embeds `Hips_types.entity` and implement an equality function `val is_same_entity : Hips_types.entity -> Shape_analysis_types.entity_ -> bool`. The latter will be used to instantiate a module of type `Intra` for shape-like-dict, see D38290182 (https://github.com/facebook/hhvm/commit/340cc0f837a1cb42dfa042596265e0d484e9adc7).
Reviewed By: madgen
Differential Revision: D38501584
fbshipit-source-id: f447e6fb23a710dd39be7e0faf24b7c0139c29d9